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

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

addPts(const VersionedKey &vk, const Data &element)=0SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >pure virtual
addPts(const Key &var, const Data &element)=0SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >private
SVF::PTData::addPts(const Key &var, const Data &element)=0SVF::PTData< Key, KeySet, Data, DataSet >pure virtual
Base enum valueSVF::PTData< Key, KeySet, Data, DataSet >
BasePTData typedefSVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >
classof(const VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet > *)SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinestatic
classof(const PTData< Key, KeySet, Data, DataSet > *ptd)SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinestatic
clear()=0SVF::PTData< Key, KeySet, Data, DataSet >pure virtual
clearFullPts(const VersionedKey &vk)=0SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >pure virtual
clearFullPts(const Key &var)=0SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >private
SVF::PTData::clearFullPts(const Key &var)=0SVF::PTData< Key, KeySet, Data, DataSet >pure virtual
clearPts(const VersionedKey &vk, const Data &element)=0SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >pure virtual
clearPts(const Key &var, const Data &element)=0SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >private
SVF::PTData::clearPts(const Key &var, const Data &element)=0SVF::PTData< Key, KeySet, Data, DataSet >pure virtual
DataFlow enum valueSVF::PTData< Key, KeySet, Data, DataSet >
Diff enum valueSVF::PTData< Key, KeySet, Data, DataSet >
dumpPTData()=0SVF::PTData< Key, KeySet, Data, DataSet >pure virtual
getAllPts(bool liveOnly) const =0SVF::PTData< Key, KeySet, Data, DataSet >pure virtual
getPTDTY() constSVF::PTData< Key, KeySet, Data, DataSet >inline
getPts(const VersionedKey &vk)=0SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >pure virtual
getPts(const Key &var)=0SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >private
SVF::PTData::getPts(const Key &var)=0SVF::PTData< Key, KeySet, Data, DataSet >pure virtual
getRevPts(const Data &datum)=0SVF::PTData< Key, KeySet, Data, DataSet >pure virtual
getVersionedKeyRevPts(const Data &datum)=0SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >pure virtual
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::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >
ptdTySVF::PTData< Key, KeySet, Data, DataSet >protected
remapAllPts(void)=0SVF::PTData< Key, KeySet, Data, DataSet >pure virtual
revSVF::PTData< Key, KeySet, Data, DataSet >protected
unionPts(const VersionedKey &dstVar, const VersionedKey &srcVar)=0SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >pure virtual
unionPts(const VersionedKey &dstVar, const Key &srcVar)=0SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >pure virtual
unionPts(const Key &dstVar, const VersionedKey &srcVar)=0SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >pure virtual
unionPts(const VersionedKey &dstVar, const DataSet &srcDataSet)=0SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >pure virtual
unionPts(const Key &dstVar, const Key &srcVar)=0SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >private
unionPts(const Key &dstVar, const DataSet &srcDataSet)=0SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >private
SVF::PTData::unionPts(const Key &dstVar, const Key &srcVar)=0SVF::PTData< Key, KeySet, Data, DataSet >pure virtual
SVF::PTData::unionPts(const Key &dstVar, const DataSet &srcDataSet)=0SVF::PTData< Key, KeySet, Data, DataSet >pure virtual
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
~PTData()SVF::PTData< Key, KeySet, Data, DataSet >inlinevirtual
~VersionedPTData()SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >inlinevirtual