DivLattice Class Reference

#include <divAnalysis.h>

Inheritance diagram for DivLattice:

Collaboration diagram for DivLattice:

Public Member Functions
	DivLattice ()
	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. 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 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

Private Attributes
long	value
long	div
long	rem
short	level

Detailed Description

Definition at line 26 of file divAnalysis.h.

Constructor & Destructor Documentation

DivLattice::DivLattice ( )

inline

Definition at line 53 of file divAnalysis.h.

References bottom, div, level, rem, and value.

DivLattice::DivLattice ( long  value)

inline

Definition at line 61 of file divAnalysis.h.

References div, level, rem, valKnown, and value.

DivLattice::DivLattice ( long  div, long  rem  )

inline

Definition at line 68 of file divAnalysis.h.

References div, divKnown, level, rem, and value.

DivLattice::DivLattice ( const DivLattice &  that)

inline

Definition at line 75 of file divAnalysis.h.

References div, level, rem, and value.

Member Function Documentation

void DivLattice::initialize ( )

inlinevirtual

Implements Lattice.

Definition at line 84 of file divAnalysis.h.

Lattice* DivLattice::copy ( ) const

virtual

Implements Lattice.

void DivLattice::copy ( Lattice *  that)

virtual

Implements Lattice.

static bool DivLattice::matchDiv ( long  value, long  div, long  rem  )

static

static bool DivLattice::matchDiv ( DivLattice *  one, DivLattice *  two, long &  div, long &  rem  )

static

static bool DivLattice::matchDivAddSubt ( DivLattice *  one, DivLattice *  two, long &  div, long &  rem, bool  plus  )

static

bool DivLattice::meetUpdate ( Lattice *  that)

virtual

Implements Lattice.

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

virtual

Implements Lattice.

long DivLattice::getValue

(

)

const

long DivLattice::getDiv

(

)

const

long DivLattice::getRem

(

)

const

short DivLattice::getLevel

(

)

const

bool DivLattice::setBot

(

)

bool DivLattice::set

(

long

value)

bool DivLattice::set	(	long	div,
		long	rem
	)

bool DivLattice::setTop

(

)

bool DivLattice::incr

(

long

increment)

bool DivLattice::mult

(

long

multiplier)

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

virtual

Implements printable.

Member Data Documentation

long DivLattice::value

private

Definition at line 30 of file divAnalysis.h.

Referenced by DivLattice().

long DivLattice::div

private

Definition at line 33 of file divAnalysis.h.

Referenced by DivLattice().

long DivLattice::rem

private

Definition at line 34 of file divAnalysis.h.

Referenced by DivLattice().

const int DivLattice::bottom =1

static

Definition at line 39 of file divAnalysis.h.

Referenced by DivLattice().

const int DivLattice::valKnown =2

static

Definition at line 41 of file divAnalysis.h.

Referenced by DivLattice().

const int DivLattice::divKnown =3

static

Definition at line 43 of file divAnalysis.h.

Referenced by DivLattice().

const int DivLattice::top =4

static

Definition at line 45 of file divAnalysis.h.

short DivLattice::level

private

Definition at line 49 of file divAnalysis.h.

Referenced by DivLattice().

---

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

• divAnalysis.h