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

Description

Definition at line 20 of file dominatorAnalysis.h.

Inheritance diagram for DominatorLattice:
Inheritance graph
[legend]
Collaboration diagram for DominatorLattice:
Collaboration graph
[legend]

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 ()
 
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
 

Member Enumeration Documentation

◆ domLevel

enum DominatorLattice::domLevel

Definition at line 23 of file dominatorAnalysis.h.

Member Function Documentation

◆ initialize()

void DominatorLattice::initialize ( )
virtual

Implements Lattice.

◆ copy() [1/2]

Lattice * DominatorLattice::copy ( ) const
virtual

Implements Lattice.

◆ copy() [2/2]

void DominatorLattice::copy ( Lattice that)
virtual

Implements Lattice.

◆ remapVars()

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

Reimplemented from Lattice.

◆ incorporateVars()

void DominatorLattice::incorporateVars ( Lattice that_arg)
virtual

Reimplemented from Lattice.

◆ project()

Lattice * DominatorLattice::project ( SgExpression expr)
virtual

Reimplemented from Lattice.

◆ unProject()

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

Reimplemented from Lattice.

◆ meetUpdate()

bool DominatorLattice::meetUpdate ( Lattice that_arg)
virtual

Implements Lattice.

◆ operator==()

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

Implements Lattice.

◆ str()

string DominatorLattice::str ( string  indent = "")
virtual

Implements printable.

Member Data Documentation

◆ level

domLevel DominatorLattice::level

Definition at line 24 of file dominatorAnalysis.h.

◆ domNodes

set<DataflowNode> DominatorLattice::domNodes

Definition at line 25 of file dominatorAnalysis.h.

◆ n

DataflowNode DominatorLattice::n

Definition at line 26 of file dominatorAnalysis.h.


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