addPts(const Key &dstKey, const Data &element) override | SVF::PersistentDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
Base enum value | SVF::PTData< Key, KeySet, Data, DataSet > | |
BaseDFPTData typedef | SVF::PersistentDFPTData< Key, KeySet, Data, DataSet > | |
BasePersPTData typedef | SVF::PersistentDFPTData< Key, KeySet, Data, DataSet > | |
BasePTData typedef | SVF::PersistentDFPTData< Key, KeySet, Data, DataSet > | |
classof(const PersistentDFPTData< Key, KeySet, Data, DataSet > *) | SVF::PersistentDFPTData< Key, KeySet, Data, DataSet > | inlinestatic |
classof(const PTData< Key, KeySet, Data, DataSet > *ptd) | SVF::PersistentDFPTData< Key, KeySet, Data, DataSet > | inlinestatic |
SVF::DFPTData::classof(const DFPTData< Key, KeySet, Data, DataSet > *) | SVF::DFPTData< Key, KeySet, Data, DataSet > | inlinestatic |
clear() override | SVF::PersistentDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
clearAllDFOutUpdatedVar(LocID) override | SVF::PersistentDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
clearFullPts(const Key &var) override | SVF::PersistentDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
clearPts(const Key &var, const Data &element) override | SVF::PersistentDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
DataFlow enum value | SVF::PTData< Key, KeySet, Data, DataSet > | |
dfInPtsMap | SVF::PersistentDFPTData< Key, KeySet, Data, DataSet > | protected |
DFKeyToIDMap typedef | SVF::PersistentDFPTData< Key, KeySet, Data, DataSet > | |
dfOutPtsMap | SVF::PersistentDFPTData< Key, KeySet, Data, DataSet > | protected |
DFPTData(bool reversePT=true, PTDataTy ty=BasePTData::DataFlow) | SVF::DFPTData< Key, KeySet, Data, DataSet > | inline |
Diff enum value | SVF::PTData< Key, KeySet, Data, DataSet > | |
dumpPTData() override | SVF::PersistentDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
getAllPts(bool liveOnly) const override | SVF::PersistentDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
getDFInPtIdRef(LocID loc, const Key &var) | SVF::PersistentDFPTData< Key, KeySet, Data, DataSet > | inlineprotected |
getDFInPtsSet(LocID loc, const Key &var) override | SVF::PersistentDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
getDFOutPtIdRef(LocID loc, const Key &var) | SVF::PersistentDFPTData< Key, KeySet, Data, DataSet > | inlineprotected |
getDFOutPtsSet(LocID loc, const Key &var) override | SVF::PersistentDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
getPTDTY() const | SVF::PTData< Key, KeySet, Data, DataSet > | inline |
getPts(const Key &var) override | SVF::PersistentDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
getRevPts(const Data &) override | SVF::PersistentDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
hasDFInSet(LocID loc) const override | SVF::PersistentDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
hasDFInSet(LocID loc, const Key &var) const override | SVF::PersistentDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
hasDFOutSet(LocID loc) const override | SVF::PersistentDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
hasDFOutSet(LocID loc, const Key &var) const override | SVF::PersistentDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
KeyToIDMap typedef | SVF::PersistentDFPTData< Key, KeySet, Data, DataSet > | |
LocID typedef | SVF::PersistentDFPTData< Key, KeySet, Data, DataSet > | |
MutBase enum value | SVF::PTData< Key, KeySet, Data, DataSet > | |
MutDataFlow enum value | SVF::PTData< Key, KeySet, Data, DataSet > | |
MutDiff enum value | SVF::PTData< Key, KeySet, Data, DataSet > | |
MutIncDataFlow enum value | SVF::PTData< Key, KeySet, Data, DataSet > | |
MutVersioned enum value | SVF::PTData< Key, KeySet, Data, DataSet > | |
PersBase enum value | SVF::PTData< Key, KeySet, Data, DataSet > | |
PersDataFlow enum value | SVF::PTData< Key, KeySet, Data, DataSet > | |
PersDiff enum value | SVF::PTData< Key, KeySet, Data, DataSet > | |
PersIncDataFlow enum value | SVF::PTData< Key, KeySet, Data, DataSet > | |
PersistentDFPTData(PersistentPointsToCache< DataSet > &cache, bool reversePT=true, PTDataTy ty=PTDataTy::PersDataFlow) | SVF::PersistentDFPTData< Key, KeySet, Data, DataSet > | inlineexplicit |
persPTData | SVF::PersistentDFPTData< Key, KeySet, Data, DataSet > | protected |
PersVersioned enum value | SVF::PTData< Key, KeySet, Data, DataSet > | |
ptCache | SVF::PersistentDFPTData< Key, KeySet, Data, DataSet > | protected |
PTData(bool reversePT=true, PTDataTy ty=PTDataTy::Base) | SVF::PTData< Key, KeySet, Data, DataSet > | inline |
PTDataTy typedef | SVF::PersistentDFPTData< Key, KeySet, Data, DataSet > | |
ptdTy | SVF::PTData< Key, KeySet, Data, DataSet > | protected |
remapAllPts() override | SVF::PersistentDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
rev | SVF::PTData< Key, KeySet, Data, DataSet > | protected |
unionPts(const Key &dstKey, const Key &srcKey) override | SVF::PersistentDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
unionPts(const Key &dstKey, const DataSet &srcDataSet) override | SVF::PersistentDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
unionPtsThroughIds(PointsToID &dst, PointsToID &src) | SVF::PersistentDFPTData< Key, KeySet, Data, DataSet > | inlineprotected |
updateAllDFInFromIn(LocID srcLoc, const Key &srcVar, LocID dstLoc, const Key &dstVar) override | SVF::PersistentDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
updateAllDFInFromOut(LocID srcLoc, const Key &srcVar, LocID dstLoc, const Key &dstVar) override | SVF::PersistentDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
updateAllDFOutFromIn(LocID loc, const Key &singleton, bool strongUpdates) override | SVF::PersistentDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
updateATVPts(const Key &srcVar, LocID dstLoc, const Key &dstVar) override | SVF::PersistentDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
updateDFInFromIn(LocID srcLoc, const Key &srcVar, LocID dstLoc, const Key &dstVar) override | SVF::PersistentDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
updateDFInFromOut(LocID srcLoc, const Key &srcVar, LocID dstLoc, const Key &dstVar) override | SVF::PersistentDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
updateDFOutFromIn(LocID srcLoc, const Key &srcVar, LocID dstLoc, const Key &dstVar) override | SVF::PersistentDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
updateTLVPts(LocID srcLoc, const Key &srcVar, const Key &dstVar) override | SVF::PersistentDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
Versioned enum value | SVF::PTData< Key, KeySet, Data, DataSet > | |
~DFPTData() | SVF::DFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
~PersistentDFPTData() override=default | SVF::PersistentDFPTData< Key, KeySet, Data, DataSet > | |
~PTData() | SVF::PTData< Key, KeySet, Data, DataSet > | inlinevirtual |