MutablePointsToDS.h File Reference

#include <fstream>
#include "MemoryModel/AbstractPointsToDS.h"
#include "SVFIR/SVFType.h"
#include "Util/SVFUtil.h"

Go to the source code of this file.

Classes
class	SVF::MutablePTData< Key, KeySet, Data, DataSet >
	PTData implemented using points-to sets which are created once and updated continuously. More...
class	SVF::MutableDiffPTData< Key, KeySet, Data, DataSet >
	DiffPTData implemented with points-to sets which are updated continuously. More...
class	SVF::MutableDFPTData< Key, KeySet, Data, DataSet >
class	SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet >
	Incremental version of the mutable data-flow points-to data structure. More...
class	SVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >

Namespaces
	SVF
	for isBitcode