Definition at line 260 of file latticeFull.h.
|
| 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 * | copy () const =0 |
|
virtual Lattice * | project (SgExpression *) |
|
virtual bool | unProject (SgExpression *, Lattice *exprState) |
|
virtual bool | finiteLattice ()=0 |
| Check if this lattice is finite or not.
|
|
bool | operator!= (Lattice *that) |
|
bool | operator== (Lattice &that) |
|
bool | operator!= (Lattice &that) |
|
|
static varIDSet & | getGlobalVars (bool includeScalars, bool includeArrays) |
|
|
void | setUpVarLatticeIndex () |
|
int | getVarIndex (const Function &func, const varID &var) |
|
◆ copy()
void VariablesProductLattice::copy |
( |
Lattice * |
that | ) |
|
|
virtual |
◆ remapVars()
void VariablesProductLattice::remapVars |
( |
const std::map< varID, varID > & |
varNameMap, |
|
|
const Function & |
newFunc |
|
) |
| |
|
virtual |
◆ incorporateVars()
void VariablesProductLattice::incorporateVars |
( |
Lattice * |
that | ) |
|
|
virtual |
◆ str()
std::string VariablesProductLattice::str |
( |
std::string |
indent = "" | ) |
|
|
virtual |
◆ includeScalars
bool VariablesProductLattice::includeScalars |
|
protected |
◆ includeArrays
bool VariablesProductLattice::includeArrays |
|
protected |
◆ func
◆ constVarLattices
std::map<varID, Lattice*> VariablesProductLattice::constVarLattices |
|
protected |
◆ allVarLattice
Lattice* VariablesProductLattice::allVarLattice |
|
protected |
◆ perVarLattice
Lattice* VariablesProductLattice::perVarLattice |
|
protected |
◆ varLatticeIndex
std::map<Function, std::map<varID, int> > VariablesProductLattice::varLatticeIndex |
|
staticprotected |
The documentation for this class was generated from the following file: