| addPts(const Key &dstKey, const Key &srcKey) override | SVF::MutableDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
| addPts(DataSet &d, const Data &e) | SVF::MutableDFPTData< Key, KeySet, Data, DataSet > | inlineprotected |
| SVF::DFPTData::addPts(const Key &var, const Data &element)=0 | SVF::PTData< Key, KeySet, Data, DataSet > | pure virtual |
| Base enum value | SVF::PTData< Key, KeySet, Data, DataSet > | |
| BaseDFPTData typedef | SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet > | |
| BaseMutDFPTData typedef | SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet > | |
| BaseMutPTData typedef | SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet > | |
| BasePTData typedef | SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet > | |
| classof(const MutableIncDFPTData< Key, KeySet, Data, DataSet > *) | SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet > | inlinestatic |
| classof(const PTData< Key, KeySet, Data, DataSet > *ptd) | SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet > | inlinestatic |
| SVF::MutableDFPTData::classof(const MutableDFPTData< Key, KeySet, Data, DataSet > *) | SVF::MutableDFPTData< Key, KeySet, Data, DataSet > | inlinestatic |
| SVF::DFPTData::classof(const DFPTData< Key, KeySet, Data, DataSet > *) | SVF::DFPTData< Key, KeySet, Data, DataSet > | inlinestatic |
| clear() override | SVF::MutableDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
| clearAllDFOutUpdatedVar(LocID loc) override | SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
| clearFullPts(const Key &var) override | SVF::MutableDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
| clearPts(const Key &var, const Data &element) override | SVF::MutableDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
| DataFlow enum value | SVF::PTData< Key, KeySet, Data, DataSet > | |
| DataIter typedef | SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet > | |
| dfInPtsMap | SVF::MutableDFPTData< Key, KeySet, Data, DataSet > | protected |
| dfOutPtsMap | SVF::MutableDFPTData< Key, KeySet, Data, DataSet > | protected |
| DFPTData(bool reversePT=true, PTDataTy ty=BasePTData::DataFlow) | SVF::DFPTData< Key, KeySet, Data, DataSet > | inline |
| DFPtsMap typedef | SVF::MutableDFPTData< Key, KeySet, Data, DataSet > | |
| DFPtsMapconstIter typedef | SVF::MutableDFPTData< Key, KeySet, Data, DataSet > | |
| DFPtsMapIter typedef | SVF::MutableDFPTData< Key, KeySet, Data, DataSet > | |
| Diff enum value | SVF::PTData< Key, KeySet, Data, DataSet > | |
| dumpPTData() override | SVF::MutableDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
| dumpPts(const PtsMap &ptsSet, OutStream &O=SVFUtil::outs()) const | SVF::MutableDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
| getAllPts(bool liveOnly) const override | SVF::MutableDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
| getDFIn() | SVF::MutableDFPTData< Key, KeySet, Data, DataSet > | inline |
| getDFInPtsMap(LocID loc) | SVF::MutableDFPTData< Key, KeySet, Data, DataSet > | inline |
| getDFInPtsSet(LocID loc, const Key &var) override | SVF::MutableDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
| getDFInUpdatedVar(LocID loc) | SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet > | inlineprivate |
| getDFOut() | SVF::MutableDFPTData< Key, KeySet, Data, DataSet > | inline |
| getDFOutPtsMap(LocID loc) | SVF::MutableDFPTData< Key, KeySet, Data, DataSet > | inline |
| getDFOutPtsSet(LocID loc, const Key &var) override | SVF::MutableDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
| getDFOutUpdatedVar(LocID loc) | SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet > | inlineprivate |
| getPTDTY() const | SVF::PTData< Key, KeySet, Data, DataSet > | inline |
| getPts(const Key &var) override | SVF::MutableDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
| getPtsMap() const | SVF::MutableDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
| getRevPts(const Data &datum) override | SVF::MutableDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
| hasDFInSet(LocID loc) const override | SVF::MutableDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
| hasDFInSet(LocID loc, const Key &var) const override | SVF::MutableDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
| hasDFOutSet(LocID loc) const override | SVF::MutableDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
| hasDFOutSet(LocID loc, const Key &var) const override | SVF::MutableDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
| inUpdatedVarMap | SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet > | private |
| LocID typedef | SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet > | |
| MutableDFPTData(bool reversePT=true, PTDataTy ty=BaseDFPTData::MutDataFlow) | SVF::MutableDFPTData< Key, KeySet, Data, DataSet > | inline |
| MutableIncDFPTData(bool reversePT=true, PTDataTy ty=BasePTData::MutIncDataFlow) | SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet > | inline |
| 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 > | |
| mutPTData | SVF::MutableDFPTData< Key, KeySet, Data, DataSet > | protected |
| MutVersioned enum value | SVF::PTData< Key, KeySet, Data, DataSet > | |
| outUpdatedVarMap | SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet > | private |
| 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 > | |
| PersVersioned enum value | SVF::PTData< Key, KeySet, Data, DataSet > | |
| PTData(bool reversePT=true, PTDataTy ty=PTDataTy::Base) | SVF::PTData< Key, KeySet, Data, DataSet > | inline |
| PTDataTy typedef | SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet > | |
| ptdTy | SVF::PTData< Key, KeySet, Data, DataSet > | protected |
| PtsMap typedef | SVF::MutableDFPTData< Key, KeySet, Data, DataSet > | |
| PtsMapConstIter typedef | SVF::MutableDFPTData< Key, KeySet, Data, DataSet > | |
| remapAllPts(void) override | SVF::MutableDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
| removeVarFromDFInUpdatedSet(LocID loc, const Key &var) | SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet > | inlineprivate |
| removeVarFromDFOutUpdatedSet(LocID loc, const Key &var) | SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet > | inlineprivate |
| rev | SVF::PTData< Key, KeySet, Data, DataSet > | protected |
| setVarDFInSetUpdated(LocID loc, const Key &var) | SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet > | inlineprivate |
| setVarDFOutSetUpdated(LocID loc, const Key &var) | SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet > | inlineprivate |
| unionPts(const Key &dstKey, const Key &srcKey) override | SVF::MutableDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
| unionPts(const Key &dstKey, const DataSet &srcDataSet) override | SVF::MutableDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
| unionPts(DataSet &dstDataSet, const DataSet &srcDataSet) | SVF::MutableDFPTData< Key, KeySet, Data, DataSet > | inlineprotected |
| updateAllDFInFromIn(LocID srcLoc, const Key &srcVar, LocID dstLoc, const Key &dstVar) override | SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
| updateAllDFInFromOut(LocID srcLoc, const Key &srcVar, LocID dstLoc, const Key &dstVar) override | SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
| updateAllDFOutFromIn(LocID loc, const Key &singleton, bool strongUpdates) override | SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
| updateATVPts(const Key &srcVar, LocID dstLoc, const Key &dstVar) override | SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
| updateDFInFromIn(LocID srcLoc, const Key &srcVar, LocID dstLoc, const Key &dstVar) override | SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
| updateDFInFromOut(LocID srcLoc, const Key &srcVar, LocID dstLoc, const Key &dstVar) override | SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
| updateDFOutFromIn(LocID srcLoc, const Key &srcVar, LocID dstLoc, const Key &dstVar) override | SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
| UpdatedVarconstIter typedef | SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet > | |
| UpdatedVarMap typedef | SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet > | |
| UpdatedVarMapIter typedef | SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet > | |
| updateTLVPts(LocID srcLoc, const Key &srcVar, const Key &dstVar) override | SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
| varHasNewDFInPts(LocID loc, const Key &var) | SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet > | inlineprivate |
| varHasNewDFOutPts(LocID loc, const Key &var) | SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet > | inlineprivate |
| Versioned enum value | SVF::PTData< Key, KeySet, Data, DataSet > | |
| ~DFPTData() | SVF::DFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
| ~MutableDFPTData() | SVF::MutableDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
| ~MutableIncDFPTData() | SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet > | inlinevirtual |
| ~PTData() | SVF::PTData< Key, KeySet, Data, DataSet > | inlinevirtual |
