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

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

addPts(const Key &dstKey, const Data &element) overrideSVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >inlinevirtual
Base enum valueSVF::PTData< Key, KeySet, Data, DataSet >
BaseDiffPTData typedefSVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >
BasePersPTData typedefSVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >
BasePTData typedefSVF::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() overrideSVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >inlinevirtual
clearFullPts(const Key &var) overrideSVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >inlinevirtual
clearPropaPts(Key &var) overrideSVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >inlinevirtual
clearPts(const Key &var, const Data &element) overrideSVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >inlinevirtual
computeDiffPts(Key &var, const DataSet &all) overrideSVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >inlinevirtual
DataFlow enum valueSVF::PTData< Key, KeySet, Data, DataSet >
Diff enum valueSVF::PTData< Key, KeySet, Data, DataSet >
DiffPTData(bool reversePT=true, PTDataTy ty=PTDataTy::Diff)SVF::DiffPTData< Key, KeySet, Data, DataSet >inline
diffPtsMapSVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >private
dumpPTData() overrideSVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >inlinevirtual
getAllPts(bool liveOnly) const overrideSVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >inlinevirtual
getDiffPts(Key &var) overrideSVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >inlinevirtual
getPTDTY() constSVF::PTData< Key, KeySet, Data, DataSet >inline
getPts(const Key &var) overrideSVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >inlinevirtual
getRevPts(const Data &data) overrideSVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >inlinevirtual
KeyToIDMap typedefSVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >
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 >
PersistentDiffPTData(PersistentPointsToCache< DataSet > &cache, bool reversePT=true, PTDataTy ty=PTDataTy::PersDiff)SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >inlineexplicit
persPTDataSVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >private
PersVersioned enum valueSVF::PTData< Key, KeySet, Data, DataSet >
propaPtsMapSVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >private
ptCacheSVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >private
PTData(bool reversePT=true, PTDataTy ty=PTDataTy::Base)SVF::PTData< Key, KeySet, Data, DataSet >inline
PTDataTy typedefSVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >
ptdTySVF::PTData< Key, KeySet, Data, DataSet >protected
remapAllPts() overrideSVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >inlinevirtual
revSVF::PTData< Key, KeySet, Data, DataSet >protected
RevPtsMap typedefSVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >
unionPts(const Key &dstKey, const Key &srcKey) overrideSVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >inlinevirtual
unionPts(const Key &dstKey, const DataSet &srcDataSet) overrideSVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >inlinevirtual
updatePropaPtsMap(Key &src, Key &dst) overrideSVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >inlinevirtual
Versioned enum valueSVF::PTData< Key, KeySet, Data, DataSet >
~DiffPTData()SVF::DiffPTData< Key, KeySet, Data, DataSet >inlinevirtual
~PersistentDiffPTData() override=defaultSVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >
~PTData()SVF::PTData< Key, KeySet, Data, DataSet >inlinevirtual