Inheritance diagram for ConstantConsumed:
Collaboration diagram for ConstantConsumed:
Public Member Functions | |
| ConstantConsumed (int4 ind) | |
| virtual RHSConstant * | clone (void) |
| virtual uintb | getConstant (UnifyState &state) const |
| virtual void | writeExpression (ostream &s, UnifyCPrinter &printstate) const |
The documentation for this class was generated from the following file:
