IntMaxLattice Class Reference

#include <latticeFull.h>

Inheritance diagram for IntMaxLattice:

Collaboration diagram for IntMaxLattice:

Public Member Functions
	IntMaxLattice ()
	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. More...
Public Member Functions inherited from Lattice
virtual void	remapVars (const std::map< varID, varID > &varNameMap, const Function &newFunc)
virtual void	incorporateVars (Lattice *that)
virtual Lattice *	project (SgExpression *expr)
virtual bool	unProject (SgExpression *expr, Lattice *exprState)
bool	operator!= (Lattice *that)
bool	operator== (Lattice &that)
bool	operator!= (Lattice &that)
Public Member Functions inherited from printable
virtual	~printable ()

Static Public Attributes
static const int	infinity

Private Attributes
int	state

Detailed Description

Definition at line 78 of file latticeFull.h.

Constructor & Destructor Documentation

IntMaxLattice::IntMaxLattice ( )

inline

Definition at line 85 of file latticeFull.h.

References state.

IntMaxLattice::IntMaxLattice ( int  state)

inline

Definition at line 90 of file latticeFull.h.

References state.

Member Function Documentation

void IntMaxLattice::initialize ( )

inlinevirtual

Implements Lattice.

Definition at line 96 of file latticeFull.h.

References state.

Lattice* IntMaxLattice::copy ( ) const

virtual

Implements Lattice.

void IntMaxLattice::copy ( Lattice *  that)

virtual

Implements Lattice.

bool IntMaxLattice::meetUpdate ( Lattice *  that)

virtual

Implements Lattice.

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

virtual

Implements Lattice.

bool IntMaxLattice::widenUpdate ( InfiniteLattice *  that)

virtual

Implements InfiniteLattice.

int IntMaxLattice::get

(

)

const

bool IntMaxLattice::set

(

int

state)

bool IntMaxLattice::incr

(

int

increment)

bool IntMaxLattice::maximum

(

int

value)

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

virtual

Implements printable.

Member Data Documentation

int IntMaxLattice::state

private

Definition at line 80 of file latticeFull.h.

Referenced by initialize(), and IntMaxLattice().

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