Inheritance diagram for ConstraintBoolean:
Collaboration diagram for ConstraintBoolean:
Public Member Functions | |
| ConstraintBoolean (bool ist, RHSConstant *ex) | |
| virtual UnifyConstraint * | clone (void) const |
| virtual bool | step (UnifyState &state) |
| virtual void | print (ostream &s, UnifyCPrinter &printstate) const |
 Public Member Functions inherited from UnifyConstraint | |
| int4 | getId (void) const |
| int4 | getMaxNum (void) |
| virtual void | initialize (UnifyState &state) |
| virtual void | buildTraverseState (UnifyState &state) |
| virtual void | setId (int4 &id) |
| virtual void | collectTypes (vector< UnifyDatatype > &typelist) const |
| virtual int4 | getBaseIndex (void) const |
| virtual bool | isDummy (void) const |
| virtual void | removeDummy (void) |
Additional Inherited Members | |
| Protected Member Functions inherited from UnifyConstraint | |
| UnifyConstraint * | copyid (const UnifyConstraint *op) |
| Protected Attributes inherited from UnifyConstraint | |
| int4 | uniqid |
| int4 | maxnum |
The documentation for this class was generated from the following file:
