Public Member Functions | Protected Member Functions | Protected Attributes | List of all members
IntArithLogical::exprLeaf Class Reference


Definition at line 93 of file intArithLogical.h.

Inheritance diagram for IntArithLogical::exprLeaf:
Inheritance graph
Collaboration diagram for IntArithLogical::exprLeaf:
Collaboration graph

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 {
enum  infContent {

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