Method CondPointsToSet

svf/include/MemoryModel/ConditionalPT.h:314–316

Constructor @{

    /// Constructor
    //@{
    CondPointsToSet()
    {
    }
    CondPointsToSet(const Cond& cond, const PointsTo& pts)
    {
        _condPts[cond] |= pts;