FiniteVarsExprsProductLattice Class Reference

#include <liveDeadVarAnalysis.h>

Inheritance diagram for FiniteVarsExprsProductLattice:

Collaboration diagram for FiniteVarsExprsProductLattice:

Public Member Functions
	FiniteVarsExprsProductLattice (Lattice *perVarLattice, const std::map< varID, Lattice * > &constVarLattices, Lattice *allVarLattice, LiveDeadVarsAnalysis *ldva, const DataflowNode &n, const NodeState &state)
	FiniteVarsExprsProductLattice (const FiniteVarsExprsProductLattice &that)
Lattice *	copy () const
Public Member Functions inherited from VarsExprsProductLattice
	VarsExprsProductLattice (Lattice *perVarLattice, const std::map< varID, Lattice * > &constVarLattices, Lattice *allVarLattice, LiveDeadVarsAnalysis *ldva, const DataflowNode &n, const NodeState &state)
	VarsExprsProductLattice (const VarsExprsProductLattice &that)
	~VarsExprsProductLattice ()
Lattice *	getVarLattice (const varID &var)
std::set< varID >	getAllVars ()
void	copy (Lattice *that)
void	copy (const VarsExprsProductLattice *that)
bool	meetUpdate (Lattice *that)
void	remapVars (const std::map< varID, varID > &varNameMap, const Function &newFunc)
	*Lattice**/void remapVars(const std::map<varID, varID>& varNameMap, const Function& newFunc, bool (*f)(CFGNode)); More...
void	incorporateVars (Lattice *that)
Lattice *	project (SgExpression *expr)
bool	unProject (SgExpression *expr, Lattice *exprState)
bool	addVar (const varID &var)
bool	remVar (const varID &var)
bool	addVar (const varID &var, Lattice *lat)
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	operator== (Lattice *that)
int	getLevel ()
Public Member Functions inherited from Lattice
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...

Protected Member Functions
	FiniteVarsExprsProductLattice (const DataflowNode &n, const NodeState &state)
VarsExprsProductLattice *	blankVEPL (const DataflowNode &n, const NodeState &state)
Protected Member Functions inherited from VarsExprsProductLattice
	VarsExprsProductLattice (const DataflowNode &n, const NodeState &state, bool(*filter)(CFGNode cfgn))
int	getVarIndex (const varID &var)

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 VarsExprsProductLattice
Lattice *	perVarLattice
Lattice *	allVarLattice
std::map< varID, Lattice * >	constVarLattices
std::map< varID, int >	varLatticeIndex
LiveDeadVarsAnalysis *	ldva
bool(*	filter )(CFGNode cfgn)
DataflowNode	n
const NodeState &	state
Protected Attributes inherited from ProductLattice
std::vector< Lattice * >	lattices

Detailed Description

Definition at line 331 of file liveDeadVarAnalysis.h.

Constructor & Destructor Documentation

FiniteVarsExprsProductLattice::FiniteVarsExprsProductLattice ( const DataflowNode &  n, const NodeState &  state  )

protected

FiniteVarsExprsProductLattice::FiniteVarsExprsProductLattice	(	Lattice *	perVarLattice,
		const std::map< varID, Lattice * > &	constVarLattices,
		Lattice *	allVarLattice,
		LiveDeadVarsAnalysis *	ldva,
		const DataflowNode &	n,
		const NodeState &	state
	)

FiniteVarsExprsProductLattice::FiniteVarsExprsProductLattice

(

const FiniteVarsExprsProductLattice &

that)

Member Function Documentation

VarsExprsProductLattice* FiniteVarsExprsProductLattice::blankVEPL ( const DataflowNode &  n, const NodeState &  state  )

protectedvirtual

Implements VarsExprsProductLattice.

Lattice* FiniteVarsExprsProductLattice::copy ( ) const

virtual

Reimplemented from FiniteProductLattice.

---

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

• liveDeadVarAnalysis.h