Public Member Functions | Protected Member Functions | Protected Attributes | List of all members
VarsExprsProductLattice Class Referenceabstract


Definition at line 195 of file liveDeadVarAnalysis.h.

Inheritance diagram for VarsExprsProductLattice:
Inheritance graph
Collaboration diagram for VarsExprsProductLattice:
Collaboration graph

Public Member Functions

 VarsExprsProductLattice (Lattice *perVarLattice, const std::map< varID, Lattice * > &constVarLattices, Lattice *allVarLattice, LiveDeadVarsAnalysis *ldva, const DataflowNode &n, const NodeState &state)
 VarsExprsProductLattice (const VarsExprsProductLattice &that)
LatticegetVarLattice (const varID &var)
std::set< varIDgetAllVars ()
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)
Latticeproject (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
virtual Latticecopy () const =0
virtual bool finiteLattice ()=0
 Check if this lattice is finite or not.
bool operator!= (Lattice *that)
bool operator== (Lattice &that)
bool operator!= (Lattice &that)

Protected Member Functions

 VarsExprsProductLattice (const DataflowNode &n, const NodeState &state, bool(*filter)(CFGNode cfgn))
virtual VarsExprsProductLatticeblankVEPL (const DataflowNode &n, const NodeState &state)=0
int getVarIndex (const varID &var)

Protected Attributes

std::map< varID, Lattice * > constVarLattices
std::map< varID, int > varLatticeIndex
bool(* filter )(CFGNode cfgn)
DataflowNode n
const NodeStatestate
- Protected Attributes inherited from ProductLattice
std::vector< Lattice * > lattices

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

The documentation for this class was generated from the following file: