Public Types | Public Member Functions | Public Attributes | List of all members
DominatorLattice Class Reference


Definition at line 20 of file dominatorAnalysis.h.

Inheritance diagram for DominatorLattice:
Inheritance graph
Collaboration diagram for DominatorLattice:
Collaboration graph

Public Types

enum  domLevel {
  uninitialized =0,

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 ()
Latticecopy () 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)
Latticeproject (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.
- Public Member Functions inherited from Lattice
bool operator!= (Lattice *that)
bool operator== (Lattice &that)
bool operator!= (Lattice &that)

Public Attributes

domLevel level
set< DataflowNodedomNodes
DataflowNode n

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