Description
Definition at line 369 of file liveDeadVarAnalysis.h.
Inheritance diagram for InfiniteVarsExprsProductLattice:
Collaboration diagram for InfiniteVarsExprsProductLattice:
Public Member Functions | |
| InfiniteVarsExprsProductLattice (Lattice *perVarLattice, const std::map< varID, Lattice * > &constVarLattices, Lattice *allVarLattice, LiveDeadVarsAnalysis *ldva, const DataflowNode &n, const NodeState &state) | |
| InfiniteVarsExprsProductLattice (const FiniteVarsExprsProductLattice &that) | |
| Lattice * | copy () const |
 Public Member Functions inherited from VarsExprsProductLattice | |
| VarsExprsProductLattice (Lattice *perVarLattice, const std::map< varID, Lattice * > &constVarLattices, Lattice *allVarLattice, LiveDeadVarsAnalysis *ldva, const DataflowNode &n, const NodeState &state) | |
| VarsExprsProductLattice (const VarsExprsProductLattice &that) | |
| Lattice * | getVarLattice (const varID &var) |
| std::set< varID > | getAllVars () |
| void | copy (Lattice *that) |
| void | copy (const VarsExprsProductLattice *that) |
| bool | meetUpdate (Lattice *that) |
| void | remapVars (const std::map< varID, varID > &varNameMap, const Function &newFunc) |
| *Lattice**/void remapVars(const std::map<varID, varID>& varNameMap, const Function& newFunc, bool (*f)(CFGNode)); | |
| void | incorporateVars (Lattice *that) |
| Lattice * | project (SgExpression *expr) |
| bool | unProject (SgExpression *expr, Lattice *exprState) |
| bool | addVar (const varID &var) |
| bool | remVar (const varID &var) |
| bool | addVar (const varID &var, Lattice *lat) |
| std::string | str (std::string indent="") |
| Public Member Functions inherited from ProductLattice | |
| 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 | operator== (Lattice *that) |
| int | getLevel () |
| Public Member Functions inherited from Lattice | |
| bool | operator!= (Lattice *that) |
| bool | operator== (Lattice &that) |
| bool | operator!= (Lattice &that) |
| Public Member Functions inherited from InfiniteProductLattice | |
| InfiniteProductLattice (const std::vector< Lattice * > &lattices) | |
| InfiniteProductLattice (const InfiniteProductLattice &that) | |
| bool | widenUpdate (InfiniteLattice *that) |
| Public Member Functions inherited from InfiniteLattice | |
| bool | finiteLattice () |
| Check if this lattice is finite or not. | |
Protected Member Functions | |
| InfiniteVarsExprsProductLattice (const DataflowNode &n, const NodeState &state) | |
| VarsExprsProductLattice * | blankVEPL (const DataflowNode &n, const NodeState &state) |
| Protected Member Functions inherited from VarsExprsProductLattice | |
| VarsExprsProductLattice (const DataflowNode &n, const NodeState &state, bool(*filter)(CFGNode cfgn)) | |
| int | getVarIndex (const varID &var) |
Additional Inherited Members | |
| Public Attributes inherited from ProductLattice | |
| short | level |
| Static Public Attributes inherited from ProductLattice | |
| static const int | uninitialized =0 |
| static const int | initialized =1 |
| Protected Attributes inherited from VarsExprsProductLattice | |
| Lattice * | perVarLattice |
| Lattice * | allVarLattice |
| std::map< varID, Lattice * > | constVarLattices |
| std::map< varID, int > | varLatticeIndex |
| LiveDeadVarsAnalysis * | ldva |
| bool(* | filter )(CFGNode cfgn) |
| DataflowNode | n |
| const NodeState & | state |
| Protected Attributes inherited from ProductLattice | |
| std::vector< Lattice * > | lattices |
The documentation for this class was generated from the following file:
