ROSE  0.11.145.0
Public Member Functions | Static Public Attributes | List of all members
nodeConstLattice Class Reference

Description

Definition at line 25 of file nodeConstAnalysis.h.

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

Public Member Functions

 nodeConstLattice (const nodeConstLattice &that)
 
void initialize ()
 
Latticecopy () const
 
void copy (Lattice *that)
 
bool meetUpdate (Lattice *that)
 
bool maxUpdate (nodeConstLattice &that)
 
bool increment (int val=1)
 
bool operator== (Lattice *that)
 
short getValConst () const
 
bool setToBottom ()
 
bool set (unsigned long valID)
 
bool setToTop ()
 
std::string str (std::string indent="")
 
- Public Member Functions inherited from FiniteLattice
bool finiteLattice ()
 Check if this lattice is finite or not.
 
- Public Member Functions inherited from Lattice
virtual void remapVars (const std::map< varID, varID > &varNameMap, const Function &newFunc)
 
virtual void incorporateVars (Lattice *that)
 
virtual Latticeproject (SgExpression *expr)
 
virtual bool unProject (SgExpression *expr, Lattice *exprState)
 
bool operator!= (Lattice *that)
 
bool operator== (Lattice &that)
 
bool operator!= (Lattice &that)
 

Static Public Attributes

static const int uninitialized =0
 
static const int noAssign =bottom
 
static const int constVal =valKnown
 
static const int multVal =top
 

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