ProductLattice Class Reference

Description

Definition at line 150 of file latticeFull.h.

Inheritance diagram for ProductLattice:

Collaboration diagram for ProductLattice:

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 Lattice *	copy () const =0
virtual void	remapVars (const std::map< varID, varID > &, const Function &)
virtual void	incorporateVars (Lattice *)
virtual Lattice *	project (SgExpression *)
virtual bool	unProject (SgExpression *, 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

Member Function Documentation

initialize()

void ProductLattice::initialize ( )

virtual

Implements Lattice.

copy()

virtual void ProductLattice::copy ( Lattice *  that )

virtual

Implements Lattice.

meetUpdate()

virtual bool ProductLattice::meetUpdate ( Lattice *  that )

virtual

Implements Lattice.

operator==()

virtual bool ProductLattice::operator== ( Lattice *  that )

virtual

Implements Lattice.

getLevel()

int ProductLattice::getLevel ( )

inline

Definition at line 186 of file latticeFull.h.

str()

virtual std::string ProductLattice::str ( std::string  indent = "" )

virtual

Implements printable.

Member Data Documentation

uninitialized

const int ProductLattice::uninitialized =0

static

Definition at line 154 of file latticeFull.h.

initialized

const int ProductLattice::initialized =1

static

Definition at line 155 of file latticeFull.h.

level

short ProductLattice::level

Definition at line 157 of file latticeFull.h.

lattices

std::vector<Lattice*> ProductLattice::lattices

protected

Definition at line 160 of file latticeFull.h.

---

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

• latticeFull.h