addPts(const Key &dstKey, const Data &element) override | SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
Base enum value | SVF::PTData< Key, KeySet, Data, DataSet > | |
BaseDiffPTData typedef | SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet > | |
BasePersPTData typedef | SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet > | |
BasePTData typedef | SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet > | |
classof(const PersistentDiffPTData< Key, KeySet, Data, DataSet > *) | SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet > | inlinestatic |
classof(const PTData< Key, KeySet, Data, DataSet > *ptd) | SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet > | inlinestatic |
SVF::DiffPTData::classof(const DiffPTData< Key, KeySet, Data, DataSet > *) | SVF::DiffPTData< Key, KeySet, Data, DataSet > | inlinestatic |
clear() override | SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
clearFullPts(const Key &var) override | SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
clearPropaPts(Key &var) override | SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
clearPts(const Key &var, const Data &element) override | SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
computeDiffPts(Key &var, const DataSet &all) override | SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
DataFlow enum value | SVF::PTData< Key, KeySet, Data, DataSet > | |
Diff enum value | SVF::PTData< Key, KeySet, Data, DataSet > | |
DiffPTData(bool reversePT=true, PTDataTy ty=PTDataTy::Diff) | SVF::DiffPTData< Key, KeySet, Data, DataSet > | inline |
diffPtsMap | SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet > | private |
dumpPTData() override | SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
getAllPts(bool liveOnly) const override | SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
getDiffPts(Key &var) override | SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
getPTDTY() const | SVF::PTData< Key, KeySet, Data, DataSet > | inline |
getPts(const Key &var) override | SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
getRevPts(const Data &data) override | SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
KeyToIDMap typedef | SVF::PersistentDiffPTData< 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 > | |
PersistentDiffPTData(PersistentPointsToCache< DataSet > &cache, bool reversePT=true, PTDataTy ty=PTDataTy::PersDiff) | SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet > | inlineexplicit |
persPTData | SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet > | private |
PersVersioned enum value | SVF::PTData< Key, KeySet, Data, DataSet > | |
propaPtsMap | SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet > | private |
ptCache | SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet > | private |
PTData(bool reversePT=true, PTDataTy ty=PTDataTy::Base) | SVF::PTData< Key, KeySet, Data, DataSet > | inline |
PTDataTy typedef | SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet > | |
ptdTy | SVF::PTData< Key, KeySet, Data, DataSet > | protected |
remapAllPts() override | SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
rev | SVF::PTData< Key, KeySet, Data, DataSet > | protected |
RevPtsMap typedef | SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet > | |
unionPts(const Key &dstKey, const Key &srcKey) override | SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
unionPts(const Key &dstKey, const DataSet &srcDataSet) override | SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
updatePropaPtsMap(Key &src, Key &dst) override | SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
Versioned enum value | SVF::PTData< Key, KeySet, Data, DataSet > | |
~DiffPTData() | SVF::DiffPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
~PersistentDiffPTData() override=default | SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet > | |
~PTData() | SVF::PTData< Key, KeySet, Data, DataSet > | inlinevirtual |