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

Description

Definition at line 26 of file divAnalysis.h.

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

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: