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 } |
The documentation for this class was generated from the following file:
