Classes
class	Origin
	Class to describe the origin of an object. More...

Public Member Functions
	SymbolicHeap ()
	Initialise the mapping.

ID< SymbolicObject >	Data (Object *object)
	Record an ID for an object.

ID< SymbolicObject >	Frame (unsigned frame, unsigned object)
	Record an ID for a frame.

ID< SymbolicObject >	Alloc (unsigned frame, CallSite *site)
	Record an ID for an allocation.

ID< Func >	Function (Func *f)
	Record an ID for a function.

Origin &	Map (ID< SymbolicObject > id)
	Returns the origin of an object.

Func &	Map (ID< Func > id)
	Returns the origin of a func.

Detailed Description

Mapping from objects to object IDs.

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

Classes