IntArithLogical Class Reference

#include <intArithLogical.h>

Inheritance diagram for IntArithLogical:

Collaboration diagram for IntArithLogical:

Classes
class	exprLeaf
class	exprLeafOrNode
class	logicNode

Public Types
enum	infContent {   uninitialized,   bottom,   known }
enum	cmpOps {   eq =SpearOp::Equal,   le =SpearOp::SgnLTE }
enum	logOps {   andOp =SpearOp::AndOp,   orOp =SpearOp::OrOp,   notOp =SpearOp::NotOp }

Public Member Functions
	IntArithLogical ()
	IntArithLogical (bool value)
	IntArithLogical (cmpOps cmp, int a, varID x, int b, varID y, int c)
	IntArithLogical (const IntArithLogical &that)
void	initialize ()
void	initialize (bool value)
Lattice *	copy () const
void	copy (Lattice *that)
bool	meetUpdate (Lattice *that)
bool	operator== (Lattice *that)
std::string	str (std::string indent="")
bool	notUpd ()
bool	andUpd (LogicalCond &that)
bool	orUpd (LogicalCond &that)
bool	setToTrue ()
bool	setToFalse ()
bool	removeVar (varID var)
LogicalCond *	copy ()
bool	isImplied (cmpOps cmp, int a, varID x, int b, varID y, int c)
bool	mayTrue ()
bool	mayConsistent (cmpOps cmp, int a, varID x, int b, varID y, int c)
bool	assign (int a, varID x, int b, varID y, int c)
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 ()
Public Member Functions inherited from LogicalCond
bool	mustFalse ()
virtual	~LogicalCond ()

Public Attributes
infContent	level
logicNode *	expr

Protected Member Functions
SpearVar	outputSpearExpr (exprLeaf *otherExpr, std::ofstream &os, bool createProposition)

Static Protected Member Functions
static bool	runSpear (std::string inputFile)

Detailed Description

Definition at line 19 of file intArithLogical.h.

Member Enumeration Documentation

enum IntArithLogical::infContent

Enumerator
uninitialized
bottom
known

Definition at line 23 of file intArithLogical.h.

enum IntArithLogical::cmpOps

Enumerator
eq
le

Definition at line 39 of file intArithLogical.h.

enum IntArithLogical::logOps

Enumerator
andOp
orOp
notOp

Definition at line 42 of file intArithLogical.h.

Constructor & Destructor Documentation

IntArithLogical::IntArithLogical

(

)

IntArithLogical::IntArithLogical

(

bool

value)

IntArithLogical::IntArithLogical	(	cmpOps	cmp,
		int	a,
		varID	x,
		int	b,
		varID	y,
		int	c
	)

IntArithLogical::IntArithLogical

(

const IntArithLogical &

that)

Member Function Documentation

void IntArithLogical::initialize ( )

virtual

Implements Lattice.

void IntArithLogical::initialize

(

bool

value)

Lattice* IntArithLogical::copy ( ) const

virtual

Implements Lattice.

void IntArithLogical::copy ( Lattice *  that)

virtual

Implements Lattice.

bool IntArithLogical::meetUpdate ( Lattice *  that)

virtual

Implements Lattice.

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

virtual

Implements Lattice.

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

virtual

Implements LogicalCond.

bool IntArithLogical::notUpd

(

)

bool IntArithLogical::andUpd ( LogicalCond &  that)

virtual

Implements LogicalCond.

bool IntArithLogical::orUpd ( LogicalCond &  that)

virtual

Implements LogicalCond.

bool IntArithLogical::setToTrue

(

)

bool IntArithLogical::setToFalse

(

)

bool IntArithLogical::removeVar

(

varID

var)

LogicalCond* IntArithLogical::copy ( )

virtual

Implements LogicalCond.

SpearVar IntArithLogical::outputSpearExpr ( exprLeaf *  otherExpr, std::ofstream &  os, bool  createProposition  )

protected

static bool IntArithLogical::runSpear ( std::string  inputFile)

staticprotected

bool IntArithLogical::isImplied	(	cmpOps	cmp,
		int	a,
		varID	x,
		int	b,
		varID	y,
		int	c
	)

bool IntArithLogical::mayTrue ( )

virtual

Implements LogicalCond.

bool IntArithLogical::mayConsistent	(	cmpOps	cmp,
		int	a,
		varID	x,
		int	b,
		varID	y,
		int	c
	)

bool IntArithLogical::assign	(	int	a,
		varID	x,
		int	b,
		varID	y,
		int	c
	)

Member Data Documentation

infContent IntArithLogical::level

Definition at line 35 of file intArithLogical.h.

logicNode* IntArithLogical::expr

Definition at line 340 of file intArithLogical.h.

---

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

• intArithLogical.h