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