DominatorLattice Class Reference

#include <dominatorAnalysis.h>

Inheritance diagram for DominatorLattice:

Collaboration diagram for DominatorLattice:

Public Types
enum	domLevel {   uninitialized =0,   initialized }

Public Member Functions
	DominatorLattice (const DataflowNode &n)
	DominatorLattice (const DataflowNode &n, const DataflowNode &nodes)
	DominatorLattice (const DataflowNode &n, const set< DataflowNode > &nodes)
	DominatorLattice (const DominatorLattice &that)
void	initialize ()
Lattice *	copy () const
void	copy (Lattice *that)
bool	copyFrom (DominatorLattice *domLat, string indent="")
void	remapVars (const map< varID, varID > &varNameMap, const Function &newFunc)
void	incorporateVars (Lattice *that_arg)
Lattice *	project (SgExpression *expr)
bool	unProject (SgExpression *expr, Lattice *exprState)
bool	meetUpdate (Lattice *that_arg)
bool	operator== (Lattice *that)
bool	addNode (const DataflowNode &n, string indent="")
bool	remNode (const DataflowNode &n, string indent="")
bool	isDominator (const DataflowNode &n, string indent="")
string	str (string indent="")
Public Member Functions inherited from FiniteLattice
bool	finiteLattice ()
	Check if this lattice is finite or not. More...
Public Member Functions inherited from Lattice
virtual void	remapVars (const std::map< varID, varID > &varNameMap, const Function &newFunc)
bool	operator!= (Lattice *that)
bool	operator== (Lattice &that)
bool	operator!= (Lattice &that)
Public Member Functions inherited from printable
virtual	~printable ()
virtual std::string	str (std::string indent="")=0

Public Attributes
domLevel	level
set< DataflowNode >	domNodes
DataflowNode	n

Detailed Description

Definition at line 17 of file dominatorAnalysis.h.

Member Enumeration Documentation

enum DominatorLattice::domLevel

Enumerator
uninitialized
initialized

Definition at line 20 of file dominatorAnalysis.h.

Constructor & Destructor Documentation

DominatorLattice::DominatorLattice

(

const DataflowNode &

n)

DominatorLattice::DominatorLattice	(	const DataflowNode &	n,
		const DataflowNode &	nodes
	)

DominatorLattice::DominatorLattice	(	const DataflowNode &	n,
		const set< DataflowNode > &	nodes
	)

DominatorLattice::DominatorLattice

(

const DominatorLattice &

that)

Member Function Documentation

void DominatorLattice::initialize ( )

virtual

Implements Lattice.

Lattice* DominatorLattice::copy ( ) const

virtual

Implements Lattice.

void DominatorLattice::copy ( Lattice *  that)

virtual

Implements Lattice.

bool DominatorLattice::copyFrom	(	DominatorLattice *	domLat,
		string	indent = ""
	)

void DominatorLattice::remapVars	(	const map< varID, varID > &	varNameMap,
		const Function &	newFunc
	)

void DominatorLattice::incorporateVars ( Lattice *  that_arg)

virtual

Reimplemented from Lattice.

Lattice* DominatorLattice::project ( SgExpression *  expr)

virtual

Reimplemented from Lattice.

bool DominatorLattice::unProject ( SgExpression *  expr, Lattice *  exprState  )

virtual

Reimplemented from Lattice.

bool DominatorLattice::meetUpdate ( Lattice *  that_arg)

virtual

Implements Lattice.

bool DominatorLattice::operator== ( Lattice *  that)

virtual

Implements Lattice.

bool DominatorLattice::addNode	(	const DataflowNode &	n,
		string	indent = ""
	)

bool DominatorLattice::remNode	(	const DataflowNode &	n,
		string	indent = ""
	)

bool DominatorLattice::isDominator	(	const DataflowNode &	n,
		string	indent = ""
	)

string DominatorLattice::str

(

string

indent = "")

Member Data Documentation

domLevel DominatorLattice::level

Definition at line 21 of file dominatorAnalysis.h.

set<DataflowNode> DominatorLattice::domNodes

Definition at line 22 of file dominatorAnalysis.h.

DataflowNode DominatorLattice::n

Definition at line 23 of file dominatorAnalysis.h.

---

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

• dominatorAnalysis.h