Method clearFullPts

svf/include/MemoryModel/MutablePointsToDS.h:542–545

        mutPTData.clearPts(var, element);
    }
    virtual void clearFullPts(const Key& var) override
    {
        mutPTData.clearFullPts(var);
    }
    virtual void remapAllPts(void) override
    {
        mutPTData.remapAllPts();