DivLattice Class Reference

Description

Definition at line 29 of file divAnalysis.h.

Inheritance diagram for DivLattice:

Collaboration diagram for DivLattice:

Public Member Functions
	DivLattice (long value)
	DivLattice (long div, long rem)
	DivLattice (const DivLattice &that)
void	initialize ()
Lattice *	copy () const
void	copy (Lattice *that)
bool	meetUpdate (Lattice *that)
bool	operator== (Lattice *that)
long	getValue () const
long	getDiv () const
long	getRem () const
short	getLevel () const
bool	setBot ()
bool	set (long value)
bool	set (long div, long rem)
bool	setTop ()
bool	incr (long increment)
bool	mult (long multiplier)
std::string	str (std::string indent="")
Public Member Functions inherited from FiniteLattice
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 Member Functions
static bool	matchDiv (long value, long div, long rem)
static bool	matchDiv (DivLattice *one, DivLattice *two, long &div, long &rem)
static bool	matchDivAddSubt (DivLattice *one, DivLattice *two, long &div, long &rem, bool plus)

Static Public Attributes
static const int	bottom =1
static const int	valKnown =2
static const int	divKnown =3
static const int	top =4

Constructor & Destructor Documentation

DivLattice() [1/4]

DivLattice::DivLattice ( )

inline

Definition at line 56 of file divAnalysis.h.

DivLattice() [2/4]

DivLattice::DivLattice ( long  value )

inline

Definition at line 64 of file divAnalysis.h.

DivLattice() [3/4]

DivLattice::DivLattice ( long  div, long  rem  )

inline

Definition at line 71 of file divAnalysis.h.

DivLattice() [4/4]

DivLattice::DivLattice ( const DivLattice &  that )

inline

Definition at line 78 of file divAnalysis.h.

Member Function Documentation

initialize()

void DivLattice::initialize ( )

inlinevirtual

Implements Lattice.

Definition at line 87 of file divAnalysis.h.

copy() [1/2]

Lattice * DivLattice::copy ( ) const

virtual

Implements Lattice.

copy() [2/2]

void DivLattice::copy ( Lattice *  that )

virtual

Implements Lattice.

meetUpdate()

bool DivLattice::meetUpdate ( Lattice *  that )

virtual

Implements Lattice.

operator==()

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

virtual

Implements Lattice.

str()

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

virtual

Implements printable.

Member Data Documentation

bottom

const int DivLattice::bottom =1

static

Definition at line 42 of file divAnalysis.h.

valKnown

const int DivLattice::valKnown =2

static

Definition at line 44 of file divAnalysis.h.

divKnown

const int DivLattice::divKnown =3

static

Definition at line 46 of file divAnalysis.h.

top

const int DivLattice::top =4

static

Definition at line 48 of file divAnalysis.h.

---

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

• divAnalysis.h