Inheritance diagram for ConstantHeritageKnown:
Collaboration diagram for ConstantHeritageKnown:
Public Member Functions | |
| ConstantHeritageKnown (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:
