|
ROSE 0.11.145.192
|
This is the complete list of members for FiniteVarsExprsProductLattice, 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) override (defined in FiniteVarsExprsProductLattice) | FiniteVarsExprsProductLattice | protectedvirtual |
| constVarLattices (defined in VarsExprsProductLattice) | VarsExprsProductLattice | protected |
| copy() const override (defined in FiniteVarsExprsProductLattice) | FiniteVarsExprsProductLattice | virtual |
| copy(Lattice *that) (defined in FiniteVarsExprsProductLattice) | FiniteVarsExprsProductLattice | virtual |
| copy(const VarsExprsProductLattice *that) (defined in FiniteVarsExprsProductLattice) | FiniteVarsExprsProductLattice | |
| copy_lattices(std::vector< Lattice * > &newLattices) const (defined in ProductLattice) | ProductLattice | |
| filter (defined in VarsExprsProductLattice) | VarsExprsProductLattice | protected |
| VarsExprsProductLattice::finiteLattice()=0 | Lattice | pure virtual |
| FiniteProductLattice::FiniteLattice::finiteLattice() | FiniteLattice | inlinevirtual |
| FiniteProductLattice() (defined in FiniteProductLattice) | FiniteProductLattice | inline |
| FiniteProductLattice(const std::vector< Lattice * > &lattices) (defined in FiniteProductLattice) | FiniteProductLattice | inline |
| FiniteProductLattice(const FiniteProductLattice &that) (defined in FiniteProductLattice) | FiniteProductLattice | inline |
| FiniteVarsExprsProductLattice(const DataflowNode &n, const NodeState &state) (defined in FiniteVarsExprsProductLattice) | FiniteVarsExprsProductLattice | protected |
| FiniteVarsExprsProductLattice(Lattice *perVarLattice, const std::map< varID, Lattice * > &constVarLattices, Lattice *allVarLattice, LiveDeadVarsAnalysis *ldva, const DataflowNode &n, const NodeState &state) (defined in FiniteVarsExprsProductLattice) | FiniteVarsExprsProductLattice | |
| FiniteVarsExprsProductLattice(const FiniteVarsExprsProductLattice &that) (defined in FiniteVarsExprsProductLattice) | FiniteVarsExprsProductLattice | |
| 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 |
| 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 | |
| verifyFinite() (defined in FiniteProductLattice) | FiniteProductLattice | inline |
| ~printable() (defined in printable) | printable | inlinevirtual |
| ~ProductLattice() (defined in ProductLattice) | ProductLattice | |
| ~VarsExprsProductLattice() (defined in VarsExprsProductLattice) | VarsExprsProductLattice |
1.9.8