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 |
Member Enumeration Documentation
◆ elt
| enum IntArithLogical::exprLeafOrNode::elt |
Definition at line 50 of file intArithLogical.h.
◆ infContent
| enum IntArithLogical::exprLeafOrNode::infContent |
Definition at line 53 of file intArithLogical.h.
Constructor & Destructor Documentation
◆ ~exprLeafOrNode()
|
inlinevirtual |
Definition at line 84 of file intArithLogical.h.
Member Function Documentation
◆ operator!=()
|
inline |
Definition at line 69 of file intArithLogical.h.
◆ operator<()
|
inline |
Definition at line 75 of file intArithLogical.h.
◆ operator>=()
|
inline |
Definition at line 76 of file intArithLogical.h.
◆ operator>()
|
inline |
Definition at line 77 of file intArithLogical.h.
The documentation for this class was generated from the following file:
