ROSE
0.9.6a
|
#include <divAnalysis.h>
Public Member Functions | |
DivLattice () | |
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. More... | |
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) |
Public Member Functions inherited from printable | |
virtual | ~printable () |
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 |
Private Attributes | |
long | value |
long | div |
long | rem |
short | level |
Definition at line 26 of file divAnalysis.h.
|
inline |
|
inline |
|
inline |
|
inline |
|
inlinevirtual |
Implements Lattice.
Definition at line 84 of file divAnalysis.h.
|
static |
|
static |
|
static |
long DivLattice::getValue | ( | ) | const |
long DivLattice::getDiv | ( | ) | const |
long DivLattice::getRem | ( | ) | const |
short DivLattice::getLevel | ( | ) | const |
bool DivLattice::setBot | ( | ) |
bool DivLattice::set | ( | long | value) |
bool DivLattice::set | ( | long | div, |
long | rem | ||
) |
bool DivLattice::setTop | ( | ) |
bool DivLattice::incr | ( | long | increment) |
bool DivLattice::mult | ( | long | multiplier) |
|
virtual |
Implements printable.
|
private |
Definition at line 30 of file divAnalysis.h.
Referenced by DivLattice().
|
private |
Definition at line 33 of file divAnalysis.h.
Referenced by DivLattice().
|
private |
Definition at line 34 of file divAnalysis.h.
Referenced by DivLattice().
|
static |
Definition at line 39 of file divAnalysis.h.
Referenced by DivLattice().
|
static |
Definition at line 41 of file divAnalysis.h.
Referenced by DivLattice().
|
static |
Definition at line 43 of file divAnalysis.h.
Referenced by DivLattice().
|
static |
Definition at line 45 of file divAnalysis.h.
|
private |
Definition at line 49 of file divAnalysis.h.
Referenced by DivLattice().