ProductLattice Class Reference

#include <latticeFull.h>

Inheritance diagram for ProductLattice:

Collaboration diagram for ProductLattice:

Public Member Functions
	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 Lattice *	copy () const =0
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)
virtual bool	finiteLattice ()=0
	Check if this lattice is finite or not. More...
bool	operator!= (Lattice *that)
bool	operator== (Lattice &that)
bool	operator!= (Lattice &that)
Public Member Functions inherited from printable
virtual	~printable ()

Public Attributes
short	level

Static Public Attributes
static const int	uninitialized =0
static const int	initialized =1

Protected Attributes
std::vector< Lattice * >	lattices

Detailed Description

Definition at line 153 of file latticeFull.h.

Constructor & Destructor Documentation

ProductLattice::ProductLattice

(

)

ProductLattice::ProductLattice

(

const std::vector< Lattice * > &

lattices)

ProductLattice::~ProductLattice

(

)

Member Function Documentation

void ProductLattice::init

(

const std::vector< Lattice * > &

lattices)

void ProductLattice::initialize ( )

virtual

Implements Lattice.

const std::vector<Lattice*>& ProductLattice::getLattices

(

)

Referenced by VariableStateTransfer< DivLattice >::VariableStateTransfer().

void ProductLattice::copy_lattices

(

std::vector< Lattice * > &

newLattices)

const

virtual void ProductLattice::copy ( Lattice *  that)

virtual

Implements Lattice.

Reimplemented in VariablesProductLattice, and VarsExprsProductLattice.

virtual bool ProductLattice::meetUpdate ( Lattice *  that)

virtual

Implements Lattice.

Reimplemented in VarsExprsProductLattice.

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

virtual

Implements Lattice.

int ProductLattice::getLevel ( )

inline

Definition at line 189 of file latticeFull.h.

References level.

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

virtual

Implements printable.

Reimplemented in VariablesProductLattice, and VarsExprsProductLattice.

Member Data Documentation

const int ProductLattice::uninitialized =0

static

Definition at line 157 of file latticeFull.h.

const int ProductLattice::initialized =1

static

Definition at line 158 of file latticeFull.h.

short ProductLattice::level

Definition at line 160 of file latticeFull.h.

Referenced by getLevel().

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

protected

Definition at line 163 of file latticeFull.h.

Referenced by FiniteProductLattice::verifyFinite().

---

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

• latticeFull.h