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

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

addPts(const Key &k, const Data &element) overrideSVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinevirtual
addPts(const VersionedKey &vk, const Data &element) overrideSVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinevirtual
atPTDataSVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >private
Base enum valueSVF::PTData< Key, KeySet, Data, DataSet >
BasePTData typedefSVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >
BaseVersionedPTData typedefSVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >
classof(const MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet > *)SVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinestatic
classof(const PTData< Key, KeySet, Data, DataSet > *ptd)SVF::MutableVersionedPTData< 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::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinevirtual
clearFullPts(const Key &k) overrideSVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinevirtual
clearFullPts(const VersionedKey &vk) overrideSVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinevirtual
clearPts(const Key &k, const Data &element) overrideSVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinevirtual
clearPts(const VersionedKey &vk, const Data &element) overrideSVF::MutableVersionedPTData< 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::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinevirtual
getAllPts(bool liveOnly) const overrideSVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinevirtual
getPTDTY() constSVF::PTData< Key, KeySet, Data, DataSet >inline
getPts(const Key &vk) overrideSVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinevirtual
getPts(const VersionedKey &vk) overrideSVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinevirtual
getRevPts(const Data &datum) overrideSVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinevirtual
getVersionedKeyRevPts(const Data &datum) overrideSVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinevirtual
MutableVersionedPTData(bool reversePT=true, PTDataTy ty=PTDataTy::MutVersioned)SVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inline
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 >
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::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >
ptdTySVF::PTData< Key, KeySet, Data, DataSet >protected
remapAllPts(void) overrideSVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinevirtual
revSVF::PTData< Key, KeySet, Data, DataSet >protected
tlPTDataSVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >private
unionPts(const Key &dstVar, const Key &srcVar) overrideSVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinevirtual
unionPts(const VersionedKey &dstVar, const VersionedKey &srcVar) overrideSVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinevirtual
unionPts(const VersionedKey &dstVar, const Key &srcVar) overrideSVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinevirtual
unionPts(const Key &dstVar, const VersionedKey &srcVar) overrideSVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinevirtual
unionPts(const Key &dstVar, const DataSet &srcDataSet) overrideSVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinevirtual
unionPts(const VersionedKey &dstVar, const DataSet &srcDataSet) overrideSVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinevirtual
Versioned enum valueSVF::PTData< Key, KeySet, Data, DataSet >
VersionedPTData(bool reversePT=true, PTDataTy ty=PTDataTy::Versioned)SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inline
~MutableVersionedPTData()SVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinevirtual
~PTData()SVF::PTData< Key, KeySet, Data, DataSet >inlinevirtual
~VersionedPTData()SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinevirtual