#include <latticeFull.h>

Inheritance diagram for FiniteVariablesProductLattice:

Collaboration diagram for FiniteVariablesProductLattice:

Public Member Functions
	FiniteVariablesProductLattice (bool includeScalars, bool includeArrays, Lattice perVarLattice, const std::map< varID, Lattice > &constVarLattices, Lattice *allVarLattice, const Function &func, const DataflowNode &n, const NodeState &state)

	FiniteVariablesProductLattice (const FiniteVariablesProductLattice &that)

Lattice *	copy () const

Public Member Functions inherited from VariablesProductLattice
	VariablesProductLattice (bool includeScalars, bool includeArrays, Lattice perVarLattice, const std::map< varID, Lattice > &constVarLattices, Lattice *allVarLattice, const Function &func, const DataflowNode &n, const NodeState &state)

	VariablesProductLattice (const VariablesProductLattice &that)

Lattice *	getVarLattice (const Function &func, const varID &var)

varIDSet &	getGlobalVars () const

varIDSet &	getLocalVars (Function func) const

varIDSet &	getRefVars (Function func) const

varIDSet	getVisibleVars (Function func) const

void	copy (Lattice *that)

void	remapVars (const std::map< varID, varID > &varNameMap, const Function &newFunc)

void	incorporateVars (Lattice *that)

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

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 bool	meetUpdate (Lattice *that)

virtual bool	operator== (Lattice *that)

int	getLevel ()

Public Member Functions inherited from Lattice
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 FiniteProductLattice
	FiniteProductLattice ()

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

	FiniteProductLattice (const FiniteProductLattice &that)

void	verifyFinite ()

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

Additional Inherited Members
Static Public Member Functions inherited from VariablesProductLattice
static varIDSet &	getGlobalVars (bool includeScalars, bool includeArrays)

Public Attributes inherited from ProductLattice
short	level

Static Public Attributes inherited from ProductLattice
static const int	uninitialized =0

static const int	initialized =1

Protected Member Functions inherited from VariablesProductLattice
void	setUpVarLatticeIndex ()

int	getVarIndex (const Function &func, const varID &var)

Protected Attributes inherited from VariablesProductLattice
bool	includeScalars

bool	includeArrays

Function	func

std::map< varID, Lattice * >	constVarLattices

Lattice *	allVarLattice

Lattice *	perVarLattice

Protected Attributes inherited from ProductLattice
std::vector< Lattice * >	lattices

Static Protected Attributes inherited from VariablesProductLattice
static std::map< Function, std::map< varID, int > >	varLatticeIndex

Detailed Description

Definition at line 367 of file latticeFull.h.

Constructor & Destructor Documentation

FiniteVariablesProductLattice::FiniteVariablesProductLattice	(	bool	includeScalars,
		bool	includeArrays,
		Lattice *	perVarLattice,
		const std::map< varID, Lattice * > &	constVarLattices,
		Lattice *	allVarLattice,
		const Function &	func,
		const DataflowNode &	n,
		const NodeState &	state
	)