Public Member Functions | Static Public Attributes | List of all members
IntMaxLattice Class Reference


Definition at line 81 of file latticeFull.h.

Inheritance diagram for IntMaxLattice:
Inheritance graph
Collaboration diagram for IntMaxLattice:
Collaboration graph

Public Member Functions

 IntMaxLattice (int state)
void initialize ()
Latticecopy () const
void copy (Lattice *that)
bool meetUpdate (Lattice *that)
bool operator== (Lattice *that)
bool widenUpdate (InfiniteLattice *that)
int get () const
bool set (int state)
bool incr (int increment)
bool maximum (int value)
std::string str (std::string indent="")
- Public Member Functions inherited from InfiniteLattice
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 infinity

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