This is the complete list of members for VarsExprsProductLattice, including all inherited members.
addVar(const varID &var) | VarsExprsProductLattice | |
addVar(const varID &var, Lattice *lat) | VarsExprsProductLattice | |
allVarLattice | VarsExprsProductLattice | protected |
blankVEPL(const DataflowNode &n, const NodeState &state)=0 | VarsExprsProductLattice | protectedpure virtual |
constVarLattices | VarsExprsProductLattice | protected |
copy(Lattice *that) | VarsExprsProductLattice | virtual |
copy(const VarsExprsProductLattice *that) | VarsExprsProductLattice | |
Lattice::copy() const =0 | Lattice | pure virtual |
copy_lattices(std::vector< Lattice * > &newLattices) const | ProductLattice | |
filter | VarsExprsProductLattice | protected |
finiteLattice()=0 | Lattice | pure virtual |
getAllVars() | VarsExprsProductLattice | |
getLattices() | ProductLattice | |
getLevel() | ProductLattice | inline |
getVarIndex(const varID &var) | VarsExprsProductLattice | protected |
getVarLattice(const varID &var) | VarsExprsProductLattice | |
incorporateVars(Lattice *that) | VarsExprsProductLattice | virtual |
init(const std::vector< Lattice * > &lattices) | ProductLattice | |
initialize() | ProductLattice | virtual |
initialized | ProductLattice | static |
lattices | ProductLattice | protected |
ldva | VarsExprsProductLattice | protected |
level | ProductLattice | |
meetUpdate(Lattice *that) | VarsExprsProductLattice | virtual |
n | VarsExprsProductLattice | protected |
operator!=(Lattice *that) | Lattice | inline |
operator!=(Lattice &that) | Lattice | inline |
operator==(Lattice *that) | ProductLattice | virtual |
Lattice::operator==(Lattice &that) | Lattice | inline |
perVarLattice | VarsExprsProductLattice | protected |
ProductLattice() | ProductLattice | |
ProductLattice(const std::vector< Lattice * > &lattices) | ProductLattice | |
project(SgExpression *expr) | VarsExprsProductLattice | virtual |
remapVars(const std::map< varID, varID > &varNameMap, const Function &newFunc) | VarsExprsProductLattice | virtual |
remVar(const varID &var) | VarsExprsProductLattice | |
state | VarsExprsProductLattice | protected |
str(std::string indent="") | VarsExprsProductLattice | virtual |
uninitialized | ProductLattice | static |
unProject(SgExpression *expr, Lattice *exprState) | VarsExprsProductLattice | virtual |
varLatticeIndex | VarsExprsProductLattice | protected |
VarsExprsProductLattice(const DataflowNode &n, const NodeState &state, bool(*filter)(CFGNode cfgn)) | VarsExprsProductLattice | protected |
VarsExprsProductLattice(Lattice *perVarLattice, const std::map< varID, Lattice * > &constVarLattices, Lattice *allVarLattice, LiveDeadVarsAnalysis *ldva, const DataflowNode &n, const NodeState &state) | VarsExprsProductLattice | |
VarsExprsProductLattice(const VarsExprsProductLattice &that) | VarsExprsProductLattice | |
~printable() | printable | inlinevirtual |
~ProductLattice() | ProductLattice | |
~VarsExprsProductLattice() | VarsExprsProductLattice | |