IntArithLogical::exprLeaf Class Reference

Description

Definition at line 96 of file intArithLogical.h.

Inheritance diagram for IntArithLogical::exprLeaf:

Collaboration diagram for IntArithLogical::exprLeaf:

Public Member Functions
	exprLeaf (cmpOps cmp, int a, varID x, int b, varID y, int c)
	exprLeaf (const exprLeaf &that)
const std::list< SpearAbstractVar * > &	getVars ()
SpearAbstractVar *	getOutVar ()
const std::string &	getExpr ()
std::string	str (std::string indent="")
std::string	str (std::string indent="") const
std::string	genStr (std::string indent="") const
elt	elType ()
SpearExpr *	copy ()
bool	notUpd ()
bool	andExprs (const exprLeaf &that, bool &modified)
bool	andExprsTest (const exprLeaf &that)
bool	orExprs (const exprLeaf &that, bool &modified)
bool	orExprsTest (const exprLeaf &that)
bool	operator== (exprLeafOrNode &that)
bool	operator<= (exprLeafOrNode &that)
Public Member Functions inherited from IntArithLogical::exprLeafOrNode
bool	operator!= (exprLeafOrNode &that)
bool	operator< (exprLeafOrNode &that)
bool	operator>= (exprLeafOrNode &that)
bool	operator> (exprLeafOrNode &that)

Protected Member Functions
	exprLeaf (SpearOp cmp, int a, varID x, int b, varID y, int c)
bool	normalize ()
bool	setToTrue ()
bool	setToFalse ()
infContent	getLevel ()
void	computeVarsExpr ()

Protected Attributes
SpearOp	cmp
int	a
int	b
int	c
varID	x
varID	y
exprLeafOrNode::infContent	level
std::list< SpearAbstractVar * >	vars
SpearAbstractVar *	outVar
std::string	logExpr
bool	varsExprInitialized

Additional Inherited Members
Public Types inherited from IntArithLogical::exprLeafOrNode
enum	elt {   eLeaf ,   lNode }
enum	infContent {   isTrue ,   exprKnown ,   isFalse }

Member Function Documentation

setToTrue()

bool IntArithLogical::exprLeaf::setToTrue ( )

protectedvirtual

Implements IntArithLogical::exprLeafOrNode.

setToFalse()

bool IntArithLogical::exprLeaf::setToFalse ( )

protectedvirtual

Implements IntArithLogical::exprLeafOrNode.

getLevel()

infContent IntArithLogical::exprLeaf::getLevel ( )

protectedvirtual

Implements IntArithLogical::exprLeafOrNode.

str()

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

virtual

Implements IntArithLogical::exprLeafOrNode.

elType()

elt IntArithLogical::exprLeaf::elType ( )

inlinevirtual

Implements IntArithLogical::exprLeafOrNode.

Definition at line 156 of file intArithLogical.h.

notUpd()

bool IntArithLogical::exprLeaf::notUpd ( )

virtual

Implements IntArithLogical::exprLeafOrNode.

operator==()

bool IntArithLogical::exprLeaf::operator== ( exprLeafOrNode &  that )

virtual

Implements IntArithLogical::exprLeafOrNode.

operator<=()

bool IntArithLogical::exprLeaf::operator<= ( exprLeafOrNode &  that )

virtual

Implements IntArithLogical::exprLeafOrNode.

Member Data Documentation

cmp

SpearOp IntArithLogical::exprLeaf::cmp

protected

Definition at line 101 of file intArithLogical.h.

a

int IntArithLogical::exprLeaf::a

protected

Definition at line 102 of file intArithLogical.h.

b

int IntArithLogical::exprLeaf::b

protected

Definition at line 102 of file intArithLogical.h.

c

int IntArithLogical::exprLeaf::c

protected

Definition at line 102 of file intArithLogical.h.

x

varID IntArithLogical::exprLeaf::x

protected

Definition at line 103 of file intArithLogical.h.

y

varID IntArithLogical::exprLeaf::y

protected

Definition at line 103 of file intArithLogical.h.

level

exprLeafOrNode::infContent IntArithLogical::exprLeaf::level

protected

Definition at line 105 of file intArithLogical.h.

vars

std::list<SpearAbstractVar*> IntArithLogical::exprLeaf::vars

protected

Definition at line 107 of file intArithLogical.h.

outVar

SpearAbstractVar* IntArithLogical::exprLeaf::outVar

protected

Definition at line 108 of file intArithLogical.h.

logExpr

std::string IntArithLogical::exprLeaf::logExpr

protected

Definition at line 109 of file intArithLogical.h.

varsExprInitialized

bool IntArithLogical::exprLeaf::varsExprInitialized

protected

Definition at line 110 of file intArithLogical.h.

---

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

• intArithLogical.h