Public Member Functions | List of all members
FiniteProductLattice Class Reference


Definition at line 206 of file latticeFull.h.

Inheritance diagram for FiniteProductLattice:
Inheritance graph
Collaboration diagram for FiniteProductLattice:
Collaboration graph

Public Member Functions

 FiniteProductLattice (const std::vector< Lattice * > &lattices)
 FiniteProductLattice (const FiniteProductLattice &that)
void verifyFinite ()
Latticecopy () const
- 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 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 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)
bool operator!= (Lattice *that)
bool operator== (Lattice &that)
bool operator!= (Lattice &that)
- Public Member Functions inherited from FiniteLattice
bool finiteLattice ()
 Check if this lattice is finite or not.

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 ProductLattice
std::vector< Lattice * > lattices

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