Description

Definition at line 365 of file latticeFull.h.

Inheritance diagram for FiniteVariablesProductLattice:

[legend]

Collaboration diagram for FiniteVariablesProductLattice:

[legend]

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 override

void	copy (Lattice *that)

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

virtual bool	operator== (Lattice *that)

int	getLevel ()

Public Member Functions inherited from Lattice
virtual Lattice *	project (SgExpression *)

virtual bool	unProject (SgExpression , Lattice exprState)

bool	operator!= (Lattice *that)

bool	operator== (Lattice &that)

bool	operator!= (Lattice &that)

Public Member Functions inherited from 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.

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

Constructor & Destructor Documentation

◆ FiniteVariablesProductLattice() [1/2]

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
	)

inline

Definition at line 380 of file latticeFull.h.

◆ FiniteVariablesProductLattice() [2/2]

FiniteVariablesProductLattice::FiniteVariablesProductLattice ( const FiniteVariablesProductLattice & that )

inline

Definition at line 389 of file latticeFull.h.

Member Function Documentation

◆ copy() [1/2]

Lattice * FiniteVariablesProductLattice::copy ( ) const

inlineoverridevirtual

Implements Lattice.

Definition at line 398 of file latticeFull.h.

◆ copy() [2/2]

void VariablesProductLattice::copy ( Lattice * that )

virtual

Reimplemented from ProductLattice.

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

latticeFull.h