Description

Definition at line 404 of file latticeFull.h.

Inheritance diagram for InfiniteVariablesProductLattice:

[legend]

Collaboration diagram for InfiniteVariablesProductLattice:

[legend]

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

	InfiniteVariablesProductLattice (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 InfiniteProductLattice
	InfiniteProductLattice (const std::vector< Lattice * > &lattices)

	InfiniteProductLattice (const InfiniteProductLattice &that)

bool	widenUpdate (InfiniteLattice *that) override

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

◆ InfiniteVariablesProductLattice() [1/2]

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

inline

Definition at line 419 of file latticeFull.h.

◆ InfiniteVariablesProductLattice() [2/2]

InfiniteVariablesProductLattice::InfiniteVariablesProductLattice ( const FiniteVariablesProductLattice & that )

inline

Definition at line 427 of file latticeFull.h.

Member Function Documentation

◆ copy() [1/2]

Lattice * InfiniteVariablesProductLattice::copy ( ) const

inlineoverridevirtual

Implements Lattice.

Definition at line 435 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