SeqStructLattice Class Reference

Description

Definition at line 26 of file sequenceStructAnalysis.h.

Inheritance diagram for SeqStructLattice:

Collaboration diagram for SeqStructLattice:

Public Types
enum	seqLevel {   uninitialized =0 ,   bottom =1 ,   startKnown =2 ,   seqKnown =3 ,   top =4 }

Public Member Functions
	SeqStructLattice (ConstrGraph *cg, const DataflowNode &n, string indent="")
	SeqStructLattice (ConstrGraph *cg, const DataflowNode &n, const varID &vInit, int startOffset, string indent="")
	SeqStructLattice (ConstrGraph *cg, const DataflowNode &n, int initVal, string indent="")
	SeqStructLattice (ConstrGraph *cg, const DataflowNode &n, const varID &initV, const varID &finV, int s, string indent="")
	SeqStructLattice (ConstrGraph *cg, const DataflowNode &n, int initV, int finV, int s, string indent="")
	SeqStructLattice (const SeqStructLattice &that, string indent="")
void	initialize ()
Lattice *	copy () const
void	copy (Lattice *that)
void	remapVars (const map< varID, varID > &varNameMap, const Function &newFunc)
void	incorporateVars (Lattice *that_arg)
Lattice *	project (SgExpression *expr)
bool	unProject (SgExpression *expr, Lattice *exprState)
bool	meetUpdate (Lattice *that_arg)
bool	setToBottom ()
bool	setToTop ()
bool	setToStartKnown (varID vInit, int initOffset)
bool	setToStartKnown (int initVal)
bool	setToSeqKnown (varID vFin, int finOffset, int stride)
seqLevel	getLevel () const
bool	operator== (Lattice *that)
string	str (string indent="")
Public Member Functions inherited from FiniteLattice
bool	finiteLattice ()
	Check if this lattice is finite or not.
Public Member Functions inherited from Lattice
bool	operator!= (Lattice *that)
bool	operator== (Lattice &that)
bool	operator!= (Lattice &that)

Public Attributes
varID	vInit
varID	vFin
int	s

Protected Member Functions
void	init (string indent="")
bool	copyFrom (const SeqStructLattice &that, string indent="")

Member Enumeration Documentation

seqLevel

enum SeqStructLattice::seqLevel

Definition at line 37 of file sequenceStructAnalysis.h.

Member Function Documentation

initialize()

void SeqStructLattice::initialize ( )

virtual

Implements Lattice.

copy() [1/2]

Lattice * SeqStructLattice::copy ( ) const

virtual

Implements Lattice.

copy() [2/2]

void SeqStructLattice::copy ( Lattice *  that )

virtual

Implements Lattice.

remapVars()

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

virtual

Reimplemented from Lattice.

incorporateVars()

void SeqStructLattice::incorporateVars ( Lattice *  that_arg )

virtual

Reimplemented from Lattice.

project()

Lattice * SeqStructLattice::project ( SgExpression *  expr )

virtual

Reimplemented from Lattice.

unProject()

bool SeqStructLattice::unProject ( SgExpression *  expr, Lattice *  exprState  )

virtual

Reimplemented from Lattice.

meetUpdate()

bool SeqStructLattice::meetUpdate ( Lattice *  that_arg )

virtual

Implements Lattice.

operator==()

bool SeqStructLattice::operator== ( Lattice *  that )

virtual

Implements Lattice.

str()

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

virtual

Implements printable.

Member Data Documentation

vInit

varID SeqStructLattice::vInit

Definition at line 30 of file sequenceStructAnalysis.h.

vFin

varID SeqStructLattice::vFin

Definition at line 31 of file sequenceStructAnalysis.h.

s

int SeqStructLattice::s

Definition at line 33 of file sequenceStructAnalysis.h.

---

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

• sequenceStructAnalysis.h