allVarLattice | VariablesProductLattice | protected |
constVarLattices | VariablesProductLattice | protected |
copy() const | InfiniteVariablesProductLattice | inlinevirtual |
VariablesProductLattice::copy(Lattice *that) | VariablesProductLattice | virtual |
copy_lattices(std::vector< Lattice * > &newLattices) const | ProductLattice | |
VariablesProductLattice::finiteLattice()=0 | Lattice | pure virtual |
InfiniteProductLattice::InfiniteLattice::finiteLattice() | InfiniteLattice | inlinevirtual |
func | VariablesProductLattice | protected |
getGlobalVars() const | VariablesProductLattice | |
getGlobalVars(bool includeScalars, bool includeArrays) | VariablesProductLattice | static |
getLattices() | ProductLattice | |
getLevel() | ProductLattice | inline |
getLocalVars(Function func) const | VariablesProductLattice | |
getRefVars(Function func) const | VariablesProductLattice | |
getVarIndex(const Function &func, const varID &var) | VariablesProductLattice | protected |
getVarLattice(const Function &func, const varID &var) | VariablesProductLattice | |
getVisibleVars(Function func) const | VariablesProductLattice | |
includeArrays | VariablesProductLattice | protected |
includeScalars | VariablesProductLattice | protected |
incorporateVars(Lattice *that) | VariablesProductLattice | virtual |
InfiniteProductLattice() | InfiniteProductLattice | inline |
InfiniteProductLattice(const std::vector< Lattice * > &lattices) | InfiniteProductLattice | inline |
InfiniteProductLattice(const InfiniteProductLattice &that) | InfiniteProductLattice | inline |
InfiniteVariablesProductLattice(bool includeScalars, bool includeArrays, Lattice *perVarLattice, std::map< varID, Lattice * > constVarLattices, Lattice *allVarLattice, const Function &func, const DataflowNode &n, const NodeState &state) | InfiniteVariablesProductLattice | inline |
InfiniteVariablesProductLattice(const FiniteVariablesProductLattice &that) | InfiniteVariablesProductLattice | inline |
init(const std::vector< Lattice * > &lattices) | ProductLattice | |
initialize() | ProductLattice | virtual |
initialized | ProductLattice | static |
lattices | ProductLattice | protected |
level | ProductLattice | |
meetUpdate(Lattice *that) | ProductLattice | virtual |
operator!=(Lattice *that) | Lattice | inline |
operator!=(Lattice &that) | Lattice | inline |
operator==(Lattice *that) | ProductLattice | virtual |
Lattice::operator==(Lattice &that) | Lattice | inline |
perVarLattice | VariablesProductLattice | protected |
ProductLattice() | ProductLattice | |
ProductLattice(const std::vector< Lattice * > &lattices) | ProductLattice | |
project(SgExpression *expr) | Lattice | inlinevirtual |
remapVars(const std::map< varID, varID > &varNameMap, const Function &newFunc) | VariablesProductLattice | virtual |
setUpVarLatticeIndex() | VariablesProductLattice | protected |
str(std::string indent="") | VariablesProductLattice | virtual |
uninitialized | ProductLattice | static |
unProject(SgExpression *expr, Lattice *exprState) | Lattice | inlinevirtual |
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 | |
VariablesProductLattice(const VariablesProductLattice &that) | VariablesProductLattice | |
varLatticeIndex | VariablesProductLattice | protectedstatic |
widenUpdate(InfiniteLattice *that) | InfiniteProductLattice | virtual |
~printable() | printable | inlinevirtual |
~ProductLattice() | ProductLattice | |