Public Member Functions
void	makePointerTo (Element from, Element to)

Element *	makeFreshValue (const Value *v)

bool	mayAlias (const Element a, const Element b) const

bool	mayAlias (Element a, Element b) const

template<typename T , typename U >
bool	mayAlias (const T &a, const U &b) const

Detailed Description

Definition at line 28 of file memory_dag.h.

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

Public Member Functions