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

Description

Definition at line 93 of file intArithLogical.h.

Inheritance diagram for IntArithLogical::exprLeaf:
Inheritance graph
[legend]
Collaboration diagram for IntArithLogical::exprLeaf:
Collaboration graph
[legend]

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
}
 

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