Inheritance diagram for ConstantNamed:
Collaboration diagram for ConstantNamed:
Public Member Functions | |
| ConstantNamed (int4 id) | |
| int4 | getId (void) const |
| 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:
