Static Value-Flow Analysis
SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet > Member List

This is the complete list of members for SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >, including all inherited members.

addPts(const Key &k, const Data &element) overrideSVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinevirtual
addPts(const VersionedKey &vk, const Data &element) overrideSVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinevirtual
atPTDataSVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >private
Base enum valueSVF::PTData< Key, KeySet, Data, DataSet >
BasePTData typedefSVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >
BaseVersionedPTData typedefSVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >
classof(const PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet > *)SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinestatic
classof(const PTData< Key, KeySet, Data, DataSet > *ptd)SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinestatic
SVF::VersionedPTData::classof(const VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet > *)SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinestatic
clear() overrideSVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinevirtual
clearFullPts(const Key &k) overrideSVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinevirtual
clearFullPts(const VersionedKey &vk) overrideSVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinevirtual
clearPts(const Key &k, const Data &element) overrideSVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinevirtual
clearPts(const VersionedKey &vk, const Data &element) overrideSVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinevirtual
DataFlow enum valueSVF::PTData< Key, KeySet, Data, DataSet >
Diff enum valueSVF::PTData< Key, KeySet, Data, DataSet >
dumpPTData() overrideSVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinevirtual
getAllPts(bool liveOnly) const overrideSVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinevirtual
getPTDTY() constSVF::PTData< Key, KeySet, Data, DataSet >inline
getPts(const Key &vk) overrideSVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinevirtual
getPts(const VersionedKey &vk) overrideSVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinevirtual
getRevPts(const Data &data) overrideSVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinevirtual
getVersionedKeyRevPts(const Data &data) overrideSVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinevirtual
KeyToIDMap typedefSVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >
MutBase enum valueSVF::PTData< Key, KeySet, Data, DataSet >
MutDataFlow enum valueSVF::PTData< Key, KeySet, Data, DataSet >
MutDiff enum valueSVF::PTData< Key, KeySet, Data, DataSet >
MutIncDataFlow enum valueSVF::PTData< Key, KeySet, Data, DataSet >
MutVersioned enum valueSVF::PTData< Key, KeySet, Data, DataSet >
PersBase enum valueSVF::PTData< Key, KeySet, Data, DataSet >
PersDataFlow enum valueSVF::PTData< Key, KeySet, Data, DataSet >
PersDiff enum valueSVF::PTData< Key, KeySet, Data, DataSet >
PersIncDataFlow enum valueSVF::PTData< Key, KeySet, Data, DataSet >
PersistentVersionedPTData(PersistentPointsToCache< DataSet > &cache, bool reversePT=true, PTDataTy ty=PTDataTy::PersVersioned)SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlineexplicit
PersVersioned enum valueSVF::PTData< Key, KeySet, Data, DataSet >
PTData(bool reversePT=true, PTDataTy ty=PTDataTy::Base)SVF::PTData< Key, KeySet, Data, DataSet >inline
PTDataTy typedefSVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >
ptdTySVF::PTData< Key, KeySet, Data, DataSet >protected
remapAllPts() overrideSVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinevirtual
revSVF::PTData< Key, KeySet, Data, DataSet >protected
tlPTDataSVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >private
unionPts(const Key &dstVar, const Key &srcVar) overrideSVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinevirtual
unionPts(const VersionedKey &dstVar, const VersionedKey &srcVar) overrideSVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinevirtual
unionPts(const VersionedKey &dstVar, const Key &srcVar) overrideSVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinevirtual
unionPts(const Key &dstVar, const VersionedKey &srcVar) overrideSVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinevirtual
unionPts(const Key &dstVar, const DataSet &srcDataSet) overrideSVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinevirtual
unionPts(const VersionedKey &dstVar, const DataSet &srcDataSet) overrideSVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinevirtual
Versioned enum valueSVF::PTData< Key, KeySet, Data, DataSet >
VersionedKeyToIDMap typedefSVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >
VersionedPTData(bool reversePT=true, PTDataTy ty=PTDataTy::Versioned)SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inline
~PersistentVersionedPTData() override=defaultSVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >
~PTData()SVF::PTData< Key, KeySet, Data, DataSet >inlinevirtual
~VersionedPTData()SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinevirtual