Description
Definition at line 47 of file intArithLogical.h.
Inheritance diagram for IntArithLogical::exprLeafOrNode:
Collaboration diagram for IntArithLogical::exprLeafOrNode:
Public Types | |
| enum | elt { eLeaf, lNode } |
| enum | infContent { isTrue, exprKnown, isFalse } |
Public Member Functions | |
| virtual elt | elType ()=0 |
| virtual infContent | getLevel ()=0 |
| virtual bool | setToTrue ()=0 |
| virtual bool | setToFalse ()=0 |
| virtual bool | notUpd ()=0 |
| virtual bool | operator== (exprLeafOrNode &that)=0 |
| bool | operator!= (exprLeafOrNode &that) |
| virtual bool | operator<= (exprLeafOrNode &that)=0 |
| bool | operator< (exprLeafOrNode &that) |
| bool | operator>= (exprLeafOrNode &that) |
| bool | operator> (exprLeafOrNode &that) |
| virtual std::string | str (std::string indent="")=0 |
The documentation for this class was generated from the following file:
