Static Value-Flow Analysis
SVF::PersistentPointsToCache< Data > Member List

This is the complete list of members for SVF::PersistentPointsToCache< Data >, including all inherited members.

clear()SVF::PersistentPointsToCache< Data >inline
complementCacheSVF::PersistentPointsToCache< Data >private
complementPts(PointsToID lhs, PointsToID rhs)SVF::PersistentPointsToCache< Data >inline
DataOp typedefSVF::PersistentPointsToCache< Data >
emplacePts(const Data &pts)SVF::PersistentPointsToCache< Data >inline
emptyPointsToId(void)SVF::PersistentPointsToCache< Data >inlinestatic
getActualPts(PointsToID id) constSVF::PersistentPointsToCache< Data >inline
getAllPts(void)SVF::PersistentPointsToCache< Data >inline
idCounterSVF::PersistentPointsToCache< Data >private
idToPtsSVF::PersistentPointsToCache< Data >private
initStats(void)SVF::PersistentPointsToCache< Data >inlineprivate
intersectionCacheSVF::PersistentPointsToCache< Data >private
intersectPts(PointsToID lhs, PointsToID rhs)SVF::PersistentPointsToCache< Data >inline
lookupComplementsSVF::PersistentPointsToCache< Data >private
lookupIntersectionsSVF::PersistentPointsToCache< Data >private
lookupUnionsSVF::PersistentPointsToCache< Data >private
newPointsToId(void)SVF::PersistentPointsToCache< Data >inlineprivate
OpCache typedefSVF::PersistentPointsToCache< Data >
opPts(PointsToID lhs, PointsToID rhs, const DataOp &dataOp, OpCache &opCache, bool commutative, bool &opPerformed)SVF::PersistentPointsToCache< Data >inlineprivate
PersistentPointsToCache(void)SVF::PersistentPointsToCache< Data >inline
preemptiveComplementsSVF::PersistentPointsToCache< Data >private
preemptiveIntersectionsSVF::PersistentPointsToCache< Data >private
preemptiveUnionsSVF::PersistentPointsToCache< Data >private
printStats(const std::string subtitle) constSVF::PersistentPointsToCache< Data >inline
propertyComplementsSVF::PersistentPointsToCache< Data >private
propertyIntersectionsSVF::PersistentPointsToCache< Data >private
propertyUnionsSVF::PersistentPointsToCache< Data >private
ptsToIdSVF::PersistentPointsToCache< Data >private
PTSToIDMap typedefSVF::PersistentPointsToCache< Data >
remapAllPts(void)SVF::PersistentPointsToCache< Data >inline
reset(void)SVF::PersistentPointsToCache< Data >inline
totalComplementsSVF::PersistentPointsToCache< Data >private
totalIntersectionsSVF::PersistentPointsToCache< Data >private
totalUnionsSVF::PersistentPointsToCache< Data >private
unionCacheSVF::PersistentPointsToCache< Data >private
unionPts(PointsToID lhs, PointsToID rhs)SVF::PersistentPointsToCache< Data >inline
uniqueComplementsSVF::PersistentPointsToCache< Data >private
uniqueIntersectionsSVF::PersistentPointsToCache< Data >private
uniqueUnionsSVF::PersistentPointsToCache< Data >private