Definition at line 25 of file nodeConstAnalysis.h.
|
| nodeConstLattice (const nodeConstLattice &that) |
|
void | initialize () |
|
Lattice * | copy () 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="") |
|
bool | finiteLattice () |
| Check if this lattice is finite or not.
|
|
virtual void | remapVars (const std::map< varID, varID > &varNameMap, const Function &newFunc) |
|
virtual void | incorporateVars (Lattice *that) |
|
virtual Lattice * | project (SgExpression *expr) |
|
virtual bool | unProject (SgExpression *expr, Lattice *exprState) |
|
bool | operator!= (Lattice *that) |
|
bool | operator== (Lattice &that) |
|
bool | operator!= (Lattice &that) |
|
|
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: