#include <PersistentPointsToDS.h>

Inheritance diagram for SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >:

Public Types
typedef PTData< Key, KeySet, Data, DataSet >	BasePTData

typedef VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >	BaseVersionedPTData

typedef BasePTData::PTDataTy	PTDataTy

typedef PersistentPTData< Key, KeySet, Data, DataSet >::KeyToIDMap	KeyToIDMap

typedef PersistentPTData< VersionedKey, VersionedKeySet, Data, DataSet >::KeyToIDMap	VersionedKeyToIDMap

Public Types inherited from SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >
typedef PTData< Key, KeySet, Data, DataSet >	BasePTData

typedef BasePTData::PTDataTy	PTDataTy

Public Types inherited from SVF::PTData< Key, KeySet, Data, DataSet >
enum	PTDataTy { Base , MutBase , Diff , MutDiff , DataFlow , MutDataFlow , MutIncDataFlow , Versioned , MutVersioned , PersBase , PersDiff , PersDataFlow , PersIncDataFlow , PersVersioned }
	Types of a points-to data structures. More...

Public Member Functions
	PersistentVersionedPTData (PersistentPointsToCache< DataSet > &cache, bool reversePT=true, PTDataTy ty=PTDataTy::PersVersioned)

	~PersistentVersionedPTData () override=default

void	clear () override
	Clears all points-to sets as if nothing is stored. More...

const DataSet &	getPts (const Key &vk) override
	Get points-to set of var. More...

const DataSet &	getPts (const VersionedKey &vk) override

const KeySet &	getRevPts (const Data &data) override
	Get reverse points-to set of a datum. More...

const VersionedKeySet &	getVersionedKeyRevPts (const Data &data) override

bool	addPts (const Key &k, const Data &element) override
	Adds element to the points-to set associated with var. More...

bool	addPts (const VersionedKey &vk, const Data &element) override

bool	unionPts (const Key &dstVar, const Key &srcVar) override
	Performs pts(dstVar) = pts(dstVar) U pts(srcVar). More...

bool	unionPts (const VersionedKey &dstVar, const VersionedKey &srcVar) override

bool	unionPts (const VersionedKey &dstVar, const Key &srcVar) override

bool	unionPts (const Key &dstVar, const VersionedKey &srcVar) override

bool	unionPts (const Key &dstVar, const DataSet &srcDataSet) override
	Performs pts(dstVar) = pts(dstVar) U srcDataSet. More...

bool	unionPts (const VersionedKey &dstVar, const DataSet &srcDataSet) override

void	clearPts (const Key &k, const Data &element) override
	Clears element from the points-to set of var. More...

void	clearPts (const VersionedKey &vk, const Data &element) override

void	clearFullPts (const Key &k) override
	Fully clears the points-to set of var. More...

void	clearFullPts (const VersionedKey &vk) override

void	remapAllPts () override
	Remaps all points-to sets to use the current mapping. More...

Map< DataSet, unsigned >	getAllPts (bool liveOnly) const override

void	dumpPTData () override
	Dump stored keys and points-to sets. More...

Public Member Functions inherited from SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >
	VersionedPTData (bool reversePT=true, PTDataTy ty=PTDataTy::Versioned)

virtual	~VersionedPTData ()

Public Member Functions inherited from SVF::PTData< Key, KeySet, Data, DataSet >
	PTData (bool reversePT=true, PTDataTy ty=PTDataTy::Base)

virtual	~PTData ()

PTDataTy	getPTDTY () const
	Get the type of points-to data structure that this is. More...

Static Public Member Functions

static bool	classof (const PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet > *)

static bool	classof (const PTData< Key, KeySet, Data, DataSet > *ptd)

Static Public Member Functions inherited from SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >
static bool	classof (const VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet > *)

static bool	classof (const PTData< Key, KeySet, Data, DataSet > *ptd)

Private Attributes
PersistentPTData< Key, KeySet, Data, DataSet >	tlPTData
	PTData for Keys (top-level pointers, generally). More...

PersistentPTData< VersionedKey, VersionedKeySet, Data, DataSet >	atPTData
	PTData for VersionedKeys (address-taken objects, generally). More...

Additional Inherited Members
Protected Attributes inherited from SVF::PTData< Key, KeySet, Data, DataSet >
bool	rev
	Whether we maintain reverse points-to sets or not. More...

PTDataTy	ptdTy

Detailed Description

template<typename Key, typename KeySet, typename Data, typename DataSet, typename VersionedKey, typename VersionedKeySet>
class SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >

VersionedPTData implemented with persistent points-to sets (Data). Implemented as a wrapper around two PersistentPTDatas: one for Keys, one for VersionedKeys. They are constructed with the same PersistentPointsToCache.

Definition at line 805 of file PersistentPointsToDS.h.

Member Typedef Documentation

◆ BasePTData

template<typename Key , typename KeySet , typename Data , typename DataSet , typename VersionedKey , typename VersionedKeySet >

typedef PTData<Key, KeySet, Data, DataSet> SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >::BasePTData

Definition at line 808 of file PersistentPointsToDS.h.

◆ BaseVersionedPTData

template<typename Key , typename KeySet , typename Data , typename DataSet , typename VersionedKey , typename VersionedKeySet >

typedef VersionedPTData<Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet> SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >::BaseVersionedPTData

Definition at line 809 of file PersistentPointsToDS.h.

◆ KeyToIDMap

template<typename Key , typename KeySet , typename Data , typename DataSet , typename VersionedKey , typename VersionedKeySet >

typedef PersistentPTData<Key, KeySet, Data, DataSet>::KeyToIDMap SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >::KeyToIDMap

Definition at line 812 of file PersistentPointsToDS.h.

◆ PTDataTy

template<typename Key , typename KeySet , typename Data , typename DataSet , typename VersionedKey , typename VersionedKeySet >

typedef BasePTData::PTDataTy SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >::PTDataTy

Definition at line 810 of file PersistentPointsToDS.h.

◆ VersionedKeyToIDMap

template<typename Key , typename KeySet , typename Data , typename DataSet , typename VersionedKey , typename VersionedKeySet >

typedef PersistentPTData<VersionedKey, VersionedKeySet, Data, DataSet>::KeyToIDMap SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >::VersionedKeyToIDMap

Definition at line 813 of file PersistentPointsToDS.h.

Constructor & Destructor Documentation

◆ PersistentVersionedPTData()

template<typename Key , typename KeySet , typename Data , typename DataSet , typename VersionedKey , typename VersionedKeySet >

SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >::PersistentVersionedPTData	(	PersistentPointsToCache< DataSet > &	cache,
		bool	reversePT = `true`,
		PTDataTy	ty = `PTDataTy::PersVersioned`
	)

inlineexplicit

Definition at line 815 of file PersistentPointsToDS.h.

816 : BaseVersionedPTData(reversePT, ty), tlPTData(cache, reversePT), atPTData(cache, reversePT) { }

SVF::PersistentVersionedPTData::tlPTData

PersistentPTData< Key, KeySet, Data, DataSet > tlPTData

PTData for Keys (top-level pointers, generally).

Definition: PersistentPointsToDS.h:949

SVF::PersistentVersionedPTData::atPTData

PersistentPTData< VersionedKey, VersionedKeySet, Data, DataSet > atPTData

PTData for VersionedKeys (address-taken objects, generally).

Definition: PersistentPointsToDS.h:951

SVF::PersistentVersionedPTData::BaseVersionedPTData

VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet > BaseVersionedPTData

Definition: PersistentPointsToDS.h:809

◆ ~PersistentVersionedPTData()

template<typename Key , typename KeySet , typename Data , typename DataSet , typename VersionedKey , typename VersionedKeySet >

SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >::~PersistentVersionedPTData ( )

overridedefault

Member Function Documentation

◆ addPts() [1/2]

template<typename Key , typename KeySet , typename Data , typename DataSet , typename VersionedKey , typename VersionedKeySet >

bool SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >::addPts	(	const Key &	var,
		const Data &	element
	)

inlineoverridevirtual

Adds element to the points-to set associated with var.

Implements SVF::PTData< Key, KeySet, Data, DataSet >.

Definition at line 846 of file PersistentPointsToDS.h.

     {
         return tlPTData.addPts(k, element);
     }

◆ addPts() [2/2]

template<typename Key , typename KeySet , typename Data , typename DataSet , typename VersionedKey , typename VersionedKeySet >

bool SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >::addPts	(	const VersionedKey &	vk,
		const Data &	element
	)

inlineoverridevirtual

Implements SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >.

Definition at line 850 of file PersistentPointsToDS.h.

     {
         return atPTData.addPts(vk, element);
     }

◆ classof() [1/2]

template<typename Key , typename KeySet , typename Data , typename DataSet , typename VersionedKey , typename VersionedKeySet >

static bool SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >::classof ( const PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet > * )

inlinestatic

Methods to support type inquiry through isa, cast, and dyn_cast:

Definition at line 936 of file PersistentPointsToDS.h.

     {
         return true;
     }

◆ classof() [2/2]

template<typename Key , typename KeySet , typename Data , typename DataSet , typename VersionedKey , typename VersionedKeySet >

static bool SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >::classof ( const PTData< Key, KeySet, Data, DataSet > * ptd )

inlinestatic

Definition at line 941 of file PersistentPointsToDS.h.

     {
         return ptd->getPTDTY() == PTDataTy::PersVersioned;
     }

◆ clear()

template<typename Key , typename KeySet , typename Data , typename DataSet , typename VersionedKey , typename VersionedKeySet >

void SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >::clear ( )

inlineoverridevirtual

Clears all points-to sets as if nothing is stored.

Implements SVF::PTData< Key, KeySet, Data, DataSet >.

Definition at line 820 of file PersistentPointsToDS.h.

     {
         tlPTData.clear();
         atPTData.clear();
     }

◆ clearFullPts() [1/2]

template<typename Key , typename KeySet , typename Data , typename DataSet , typename VersionedKey , typename VersionedKeySet >

void SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >::clearFullPts ( const Key & var )

inlineoverridevirtual

Fully clears the points-to set of var.

Implements SVF::PTData< Key, KeySet, Data, DataSet >.

Definition at line 889 of file PersistentPointsToDS.h.

     {
         tlPTData.clearFullPts(k);
     }

◆ clearFullPts() [2/2]

template<typename Key , typename KeySet , typename Data , typename DataSet , typename VersionedKey , typename VersionedKeySet >

void SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >::clearFullPts ( const VersionedKey & vk )

inlineoverridevirtual

Implements SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >.

Definition at line 893 of file PersistentPointsToDS.h.

     {
         atPTData.clearFullPts(vk);
     }

◆ clearPts() [1/2]

template<typename Key , typename KeySet , typename Data , typename DataSet , typename VersionedKey , typename VersionedKeySet >

void SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >::clearPts	(	const Key &	var,
		const Data &	element
	)

inlineoverridevirtual

Clears element from the points-to set of var.

Implements SVF::PTData< Key, KeySet, Data, DataSet >.

Definition at line 880 of file PersistentPointsToDS.h.

     {
         tlPTData.clearPts(k, element);
     }

◆ clearPts() [2/2]

template<typename Key , typename KeySet , typename Data , typename DataSet , typename VersionedKey , typename VersionedKeySet >

void SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >::clearPts	(	const VersionedKey &	vk,
		const Data &	element
	)

inlineoverridevirtual

Implements SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >.

Definition at line 884 of file PersistentPointsToDS.h.

     {
         atPTData.clearPts(vk, element);
     }

◆ dumpPTData()

template<typename Key , typename KeySet , typename Data , typename DataSet , typename VersionedKey , typename VersionedKeySet >

void SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >::dumpPTData ( )

inlineoverridevirtual

Dump stored keys and points-to sets.

Implements SVF::PTData< Key, KeySet, Data, DataSet >.

Definition at line 926 of file PersistentPointsToDS.h.

     {
         SVFUtil::outs() << "== Top-level points-to information\n";
         tlPTData.dumpPTData();
         SVFUtil::outs() << "== Address-taken points-to information\n";
         atPTData.dumpPTData();
     }

◆ getAllPts()

template<typename Key , typename KeySet , typename Data , typename DataSet , typename VersionedKey , typename VersionedKeySet >

Map<DataSet, unsigned> SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >::getAllPts ( bool liveOnly ) const

inlineoverridevirtual

Returns a mapping of points-to sets to the number of times they are stored. liveOnly indicates whether to include only points-to sets which correspond to a variable (matters when dealing with non-GC persistent PT).

Implements SVF::PTData< Key, KeySet, Data, DataSet >.

Definition at line 904 of file PersistentPointsToDS.h.

     {
         // Explicitly pass in true because if we call it with false,
         // we will double up on the cache, since it is shared with atPTData.
         // if liveOnly == false, we will handle it in the if below.
         Map<DataSet, unsigned> allPts = tlPTData.getAllPts(true);
         SVFUtil::mergePtsOccMaps<DataSet>(allPts, atPTData.getAllPts(true));
  
         if (!liveOnly)
         {
             // Subtract 1 from each counted points-to set because the live points-to
             // sets have already been inserted and accounted for how often they occur.
             // They will each occur one more time in the cache.
             // In essence, we want the ptCache.getAllPts() to just add the unused, non-GC'd
             // points-to sets to allPts.
             for (typename Map<DataSet, unsigned>::value_type &pto : allPts) pto.second -= 1;
             SVFUtil::mergePtsOccMaps<DataSet>(allPts, tlPTData.ptCache.getAllPts());
         }
  
         return allPts;
     }

◆ getPts() [1/2]

template<typename Key , typename KeySet , typename Data , typename DataSet , typename VersionedKey , typename VersionedKeySet >

const DataSet& SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >::getPts ( const Key & var )

inlineoverridevirtual

Get points-to set of var.

Implements SVF::PTData< Key, KeySet, Data, DataSet >.

Definition at line 826 of file PersistentPointsToDS.h.

     {
         return tlPTData.getPts(vk);
     }

◆ getPts() [2/2]

template<typename Key , typename KeySet , typename Data , typename DataSet , typename VersionedKey , typename VersionedKeySet >

const DataSet& SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >::getPts ( const VersionedKey & vk )

inlineoverridevirtual

Implements SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >.

Definition at line 830 of file PersistentPointsToDS.h.

     {
         return atPTData.getPts(vk);
     }

◆ getRevPts()

template<typename Key , typename KeySet , typename Data , typename DataSet , typename VersionedKey , typename VersionedKeySet >

const KeySet& SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >::getRevPts ( const Data & datum )

inlineoverridevirtual

Get reverse points-to set of a datum.

Implements SVF::PTData< Key, KeySet, Data, DataSet >.

Definition at line 835 of file PersistentPointsToDS.h.

     {
         assert(this->rev && "PersistentVersionedPTData::getRevPts: constructed without reverse PT support!");
         return tlPTData.getRevPts(data);
     }

◆ getVersionedKeyRevPts()

template<typename Key , typename KeySet , typename Data , typename DataSet , typename VersionedKey , typename VersionedKeySet >

const VersionedKeySet& SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >::getVersionedKeyRevPts ( const Data & data )

inlineoverridevirtual

Implements SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >.

Definition at line 840 of file PersistentPointsToDS.h.

     {
         assert(this->rev && "PersistentVersionedPTData::getVersionedKeyRevPts: constructed without reverse PT support!");
         return atPTData.getRevPts(data);
     }

◆ remapAllPts()

template<typename Key , typename KeySet , typename Data , typename DataSet , typename VersionedKey , typename VersionedKeySet >

void SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >::remapAllPts ( )

inlineoverridevirtual

Remaps all points-to sets to use the current mapping.

Implements SVF::PTData< Key, KeySet, Data, DataSet >.

Definition at line 898 of file PersistentPointsToDS.h.

     {
         // tlPTData and atPTData use the same cache.
         tlPTData.remapAllPts();
     }

◆ unionPts() [1/6]

template<typename Key , typename KeySet , typename Data , typename DataSet , typename VersionedKey , typename VersionedKeySet >

bool SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >::unionPts	(	const Key &	dstVar,
		const DataSet &	srcDataSet
	)

inlineoverridevirtual

Performs pts(dstVar) = pts(dstVar) U srcDataSet.

Implements SVF::PTData< Key, KeySet, Data, DataSet >.

Definition at line 871 of file PersistentPointsToDS.h.

     {
         return tlPTData.unionPts(dstVar, srcDataSet);
     }

◆ unionPts() [2/6]

template<typename Key , typename KeySet , typename Data , typename DataSet , typename VersionedKey , typename VersionedKeySet >

bool SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >::unionPts	(	const Key &	dstVar,
		const Key &	srcVar
	)

inlineoverridevirtual

Performs pts(dstVar) = pts(dstVar) U pts(srcVar).

Implements SVF::PTData< Key, KeySet, Data, DataSet >.

Definition at line 855 of file PersistentPointsToDS.h.

     {
         return tlPTData.unionPts(dstVar, srcVar);
     }

◆ unionPts() [3/6]

template<typename Key , typename KeySet , typename Data , typename DataSet , typename VersionedKey , typename VersionedKeySet >

bool SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >::unionPts	(	const Key &	dstVar,
		const VersionedKey &	srcVar
	)

inlineoverridevirtual

Implements SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >.

Definition at line 867 of file PersistentPointsToDS.h.

     {
         return tlPTData.unionPtsFromId(dstVar, atPTData.ptsMap[srcVar]);
     }

◆ unionPts() [4/6]

template<typename Key , typename KeySet , typename Data , typename DataSet , typename VersionedKey , typename VersionedKeySet >

bool SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >::unionPts	(	const VersionedKey &	dstVar,
		const DataSet &	srcDataSet
	)

inlineoverridevirtual

Implements SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >.

Definition at line 875 of file PersistentPointsToDS.h.

     {
         return atPTData.unionPts(dstVar, srcDataSet);
     }

◆ unionPts() [5/6]

template<typename Key , typename KeySet , typename Data , typename DataSet , typename VersionedKey , typename VersionedKeySet >

bool SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >::unionPts	(	const VersionedKey &	dstVar,
		const Key &	srcVar
	)

inlineoverridevirtual

Implements SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >.

Definition at line 863 of file PersistentPointsToDS.h.

     {
         return atPTData.unionPtsFromId(dstVar, tlPTData.ptsMap[srcVar]);
     }

◆ unionPts() [6/6]

template<typename Key , typename KeySet , typename Data , typename DataSet , typename VersionedKey , typename VersionedKeySet >

bool SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >::unionPts	(	const VersionedKey &	dstVar,
		const VersionedKey &	srcVar
	)

inlineoverridevirtual

Implements SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >.

Definition at line 859 of file PersistentPointsToDS.h.

     {
         return atPTData.unionPts(dstVar, srcVar);
     }

Member Data Documentation

◆ atPTData

template<typename Key , typename KeySet , typename Data , typename DataSet , typename VersionedKey , typename VersionedKeySet >

PersistentPTData<VersionedKey, VersionedKeySet, Data, DataSet> SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >::atPTData

private

PTData for VersionedKeys (address-taken objects, generally).

Definition at line 951 of file PersistentPointsToDS.h.

◆ tlPTData

template<typename Key , typename KeySet , typename Data , typename DataSet , typename VersionedKey , typename VersionedKeySet >

PersistentPTData<Key, KeySet, Data, DataSet> SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >::tlPTData

private

PTData for Keys (top-level pointers, generally).

Definition at line 949 of file PersistentPointsToDS.h.

The documentation for this class was generated from the following file:

/home/runner/work/SVF/SVF/svf/include/MemoryModel/PersistentPointsToDS.h

Public Types

Public Member Functions

Static Public Member Functions

Private Attributes

Additional Inherited Members

Detailed Description

template<typename Key, typename KeySet, typename Data, typename DataSet, typename VersionedKey, typename VersionedKeySet> class SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >

Member Typedef Documentation

◆ BasePTData

◆ BaseVersionedPTData

◆ KeyToIDMap

◆ PTDataTy

◆ VersionedKeyToIDMap

Constructor & Destructor Documentation

◆ PersistentVersionedPTData()

◆ ~PersistentVersionedPTData()

Member Function Documentation

◆ addPts() [1/2]

◆ addPts() [2/2]

◆ classof() [1/2]

◆ classof() [2/2]

◆ clear()

◆ clearFullPts() [1/2]

◆ clearFullPts() [2/2]

◆ clearPts() [1/2]

◆ clearPts() [2/2]

◆ dumpPTData()

◆ getAllPts()

◆ getPts() [1/2]

◆ getPts() [2/2]

◆ getRevPts()

◆ getVersionedKeyRevPts()

◆ remapAllPts()

◆ unionPts() [1/6]

◆ unionPts() [2/6]

◆ unionPts() [3/6]

◆ unionPts() [4/6]

◆ unionPts() [5/6]

◆ unionPts() [6/6]

Member Data Documentation

◆ atPTData

◆ tlPTData

template<typename Key, typename KeySet, typename Data, typename DataSet, typename VersionedKey, typename VersionedKeySet>
class SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >