IntMaxLattice Class Reference

Description

Definition at line 78 of file latticeFull.h.

Inheritance diagram for IntMaxLattice:

Collaboration diagram for IntMaxLattice:

Public Member Functions
	IntMaxLattice (int state)
void	initialize ()
Lattice *	copy () const
void	copy (Lattice *that)
bool	meetUpdate (Lattice *that)
bool	operator== (Lattice *that)
bool	widenUpdate (InfiniteLattice *that)
int	get () const
bool	set (int state)
bool	incr (int increment)
bool	maximum (int value)
std::string	str (std::string indent="")
Public Member Functions inherited from InfiniteLattice
bool	finiteLattice ()
	Check if this lattice is finite or not.
Public Member Functions inherited from Lattice
virtual void	remapVars (const std::map< varID, varID > &, const Function &)
virtual void	incorporateVars (Lattice *)
virtual Lattice *	project (SgExpression *)
virtual bool	unProject (SgExpression *, Lattice *exprState)
bool	operator!= (Lattice *that)
bool	operator== (Lattice &that)
bool	operator!= (Lattice &that)

Static Public Attributes
static const int	infinity

Constructor & Destructor Documentation

IntMaxLattice() [1/2]

IntMaxLattice::IntMaxLattice ( )

inline

Definition at line 85 of file latticeFull.h.

IntMaxLattice() [2/2]

IntMaxLattice::IntMaxLattice ( int  state )

inline

Definition at line 90 of file latticeFull.h.

Member Function Documentation

initialize()

void IntMaxLattice::initialize ( )

inlinevirtual

Implements Lattice.

Definition at line 96 of file latticeFull.h.

copy() [1/2]

Lattice * IntMaxLattice::copy ( ) const

virtual

Implements Lattice.

copy() [2/2]

void IntMaxLattice::copy ( Lattice *  that )

virtual

Implements Lattice.

meetUpdate()

bool IntMaxLattice::meetUpdate ( Lattice *  that )

virtual

Implements Lattice.

operator==()

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

virtual

Implements Lattice.

widenUpdate()

bool IntMaxLattice::widenUpdate ( InfiniteLattice *  that )

virtual

Implements InfiniteLattice.

str()

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

virtual

Implements printable.

Member Data Documentation

infinity

const int IntMaxLattice::infinity

static

Definition at line 83 of file latticeFull.h.

---

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

• latticeFull.h