Inheritance diagram for FiniteProductLattice:

Collaboration diagram for FiniteProductLattice:

Public Member Functions
	FiniteProductLattice ()

	FiniteProductLattice (const std::vector< Lattice * > &lattices)

	FiniteProductLattice (const FiniteProductLattice &that)

void	verifyFinite ()

Lattice *	copy () const

Public Member Functions inherited from ProductLattice
	ProductLattice ()

	ProductLattice (const std::vector< Lattice * > &lattices)

	~ProductLattice ()

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 Lattice *	project (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 printable
virtual	~printable ()

Public Member Functions inherited from FiniteLattice
bool	finiteLattice ()
	Check if this lattice is finite or not. More...

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