Inheritance diagram for InfiniteProductLattice:

Collaboration diagram for InfiniteProductLattice:

Public Member Functions
	InfiniteProductLattice ()

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

	InfiniteProductLattice (const InfiniteProductLattice &that)

Lattice *	copy () const

bool	widenUpdate (InfiniteLattice *that)

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 InfiniteLattice
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

Detailed Description

Definition at line 235 of file latticeFull.h.

Constructor & Destructor Documentation

InfiniteProductLattice::InfiniteProductLattice ( )

inline

Definition at line 238 of file latticeFull.h.

Referenced by copy().

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

inline

Definition at line 241 of file latticeFull.h.

InfiniteProductLattice::InfiniteProductLattice ( const InfiniteProductLattice & that)

inline

Definition at line 244 of file latticeFull.h.

Lattice* InfiniteProductLattice::copy ( ) const

inlinevirtual

Implements Lattice.

Definition at line 248 of file latticeFull.h.

bool InfiniteProductLattice::widenUpdate ( InfiniteLattice * that)

virtual

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