ROSE
0.9.10.2
|
Definition at line 367 of file latticeFull.h.
Public Member Functions | |
FiniteVariablesProductLattice (bool includeScalars, bool includeArrays, Lattice *perVarLattice, const std::map< varID, Lattice * > &constVarLattices, Lattice *allVarLattice, const Function &func, const DataflowNode &n, const NodeState &state) | |
FiniteVariablesProductLattice (const FiniteVariablesProductLattice &that) | |
Lattice * | copy () const |
![]() | |
VariablesProductLattice (bool includeScalars, bool includeArrays, Lattice *perVarLattice, const std::map< varID, Lattice * > &constVarLattices, Lattice *allVarLattice, const Function &func, const DataflowNode &n, const NodeState &state) | |
VariablesProductLattice (const VariablesProductLattice &that) | |
Lattice * | getVarLattice (const Function &func, const varID &var) |
varIDSet & | getGlobalVars () const |
varIDSet & | getLocalVars (Function func) const |
varIDSet & | getRefVars (Function func) const |
varIDSet | getVisibleVars (Function func) const |
void | copy (Lattice *that) |
void | remapVars (const std::map< varID, varID > &varNameMap, const Function &newFunc) |
void | incorporateVars (Lattice *that) |
std::string | str (std::string indent="") |
![]() | |
ProductLattice (const std::vector< Lattice * > &lattices) | |
void | init (const std::vector< Lattice * > &lattices) |
void | initialize () |
const std::vector< Lattice * > & | getLattices () |
void | copy_lattices (std::vector< Lattice * > &newLattices) const |
virtual bool | meetUpdate (Lattice *that) |
virtual bool | operator== (Lattice *that) |
int | getLevel () |
![]() | |
virtual Lattice * | project (SgExpression *expr) |
virtual bool | unProject (SgExpression *expr, Lattice *exprState) |
bool | operator!= (Lattice *that) |
bool | operator== (Lattice &that) |
bool | operator!= (Lattice &that) |
![]() | |
FiniteProductLattice (const std::vector< Lattice * > &lattices) | |
FiniteProductLattice (const FiniteProductLattice &that) | |
void | verifyFinite () |
![]() | |
bool | finiteLattice () |
Check if this lattice is finite or not. | |
Additional Inherited Members | |
![]() | |
static varIDSet & | getGlobalVars (bool includeScalars, bool includeArrays) |
![]() | |
short | level |
![]() | |
static const int | uninitialized =0 |
static const int | initialized =1 |
![]() | |
void | setUpVarLatticeIndex () |
int | getVarIndex (const Function &func, const varID &var) |
![]() | |
bool | includeScalars |
bool | includeArrays |
Function | func |
std::map< varID, Lattice * > | constVarLattices |
Lattice * | allVarLattice |
Lattice * | perVarLattice |
![]() | |
std::vector< Lattice * > | lattices |
![]() | |
static std::map< Function, std::map< varID, int > > | varLatticeIndex |