Method clearPts

svf/include/MemoryModel/MutablePointsToDS.h:538–541

        return unionPts(mutPTData.ptsMap[dstKey], srcDataSet);
    }
    virtual void clearPts(const Key& var, const Data& element) override
    {
        mutPTData.clearPts(var, element);
    }
    virtual void clearFullPts(const Key& var) override
    {
        mutPTData.clearFullPts(var);