ROSE  0.11.145.0
Public Member Functions | Public Attributes | Static Public Attributes | Protected Attributes | List of all members
ProductLattice Class Reference

Description

Definition at line 156 of file latticeFull.h.

Inheritance diagram for ProductLattice:
Inheritance graph
[legend]
Collaboration diagram for ProductLattice:
Collaboration graph
[legend]

Public Member Functions

 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 void copy (Lattice *that)
 
virtual bool meetUpdate (Lattice *that)
 
virtual bool operator== (Lattice *that)
 
int getLevel ()
 
virtual std::string str (std::string indent="")
 
- Public Member Functions inherited from Lattice
virtual Latticecopy () const =0
 
virtual void remapVars (const std::map< varID, varID > &varNameMap, const Function &newFunc)
 
virtual void incorporateVars (Lattice *that)
 
virtual Latticeproject (SgExpression *expr)
 
virtual bool unProject (SgExpression *expr, Lattice *exprState)
 
virtual bool finiteLattice ()=0
 Check if this lattice is finite or not.
 
bool operator!= (Lattice *that)
 
bool operator== (Lattice &that)
 
bool operator!= (Lattice &that)
 

Public Attributes

short level
 

Static Public Attributes

static const int uninitialized =0
 
static const int initialized =1
 

Protected Attributes

std::vector< Lattice * > lattices
 

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