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


Definition at line 29 of file divAnalysis.h.

Inheritance diagram for DivLattice:
Inheritance graph
Collaboration diagram for DivLattice:
Collaboration graph

Public Member Functions

 DivLattice (long value)
 DivLattice (long div, long rem)
 DivLattice (const DivLattice &that)
void initialize ()
Latticecopy () const
void copy (Lattice *that)
bool meetUpdate (Lattice *that)
bool operator== (Lattice *that)
long getValue () const
long getDiv () const
long getRem () const
short getLevel () const
bool setBot ()
bool set (long value)
bool set (long div, long rem)
bool setTop ()
bool incr (long increment)
bool mult (long multiplier)
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 Member Functions

static bool matchDiv (long value, long div, long rem)
static bool matchDiv (DivLattice *one, DivLattice *two, long &div, long &rem)
static bool matchDivAddSubt (DivLattice *one, DivLattice *two, long &div, long &rem, bool plus)

Static Public Attributes

static const int bottom =1
static const int valKnown =2
static const int divKnown =3
static const int top =4

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