Description
Definition at line 29 of file divAnalysis.h.
Inheritance diagram for DivLattice:
Collaboration diagram for DivLattice:
Public Member Functions | |
| DivLattice (long value) | |
| DivLattice (long div, long rem) | |
| DivLattice (const DivLattice &that) | |
| void | initialize () |
| Lattice * | copy () 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 Lattice * | project (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:
