VariablesProductLattice Class Reference

#include <latticeFull.h>

Inheritance diagram for VariablesProductLattice:

Collaboration diagram for VariablesProductLattice:

Public Member Functions
	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 *	copy () const =0
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 ()

Static Public Member Functions
static varIDSet &	getGlobalVars (bool includeScalars, bool includeArrays)

Protected Member Functions
void	setUpVarLatticeIndex ()
int	getVarIndex (const Function &func, const varID &var)

Protected Attributes
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
static std::map< Function, std::map< varID, int > >	varLatticeIndex

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

Detailed Description

Definition at line 259 of file latticeFull.h.

Constructor & Destructor Documentation

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::VariablesProductLattice

(

const VariablesProductLattice &

that)

Member Function Documentation

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

void VariablesProductLattice::setUpVarLatticeIndex ( )

protected

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

protected

varIDSet& VariablesProductLattice::getGlobalVars

(

)

const

static varIDSet& VariablesProductLattice::getGlobalVars ( bool  includeScalars, bool  includeArrays  )

static

varIDSet& VariablesProductLattice::getLocalVars

(

Function

func)

const

varIDSet& VariablesProductLattice::getRefVars

(

Function

func)

const

varIDSet VariablesProductLattice::getVisibleVars

(

Function

func)

const

void VariablesProductLattice::copy ( Lattice *  that)

virtual

Reimplemented from ProductLattice.

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

virtual

Reimplemented from Lattice.

void VariablesProductLattice::incorporateVars ( Lattice *  that)

virtual

Reimplemented from Lattice.

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

virtual

Reimplemented from ProductLattice.

Member Data Documentation

bool VariablesProductLattice::includeScalars

protected

Definition at line 263 of file latticeFull.h.

bool VariablesProductLattice::includeArrays

protected

Definition at line 265 of file latticeFull.h.

Function VariablesProductLattice::func

protected

Definition at line 267 of file latticeFull.h.

std::map<varID, Lattice*> VariablesProductLattice::constVarLattices

protected

Definition at line 269 of file latticeFull.h.

Lattice* VariablesProductLattice::allVarLattice

protected

Definition at line 271 of file latticeFull.h.

Lattice* VariablesProductLattice::perVarLattice

protected

Definition at line 274 of file latticeFull.h.

std::map<Function, std::map<varID, int> > VariablesProductLattice::varLatticeIndex

staticprotected

Definition at line 278 of file latticeFull.h.

---

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

• latticeFull.h