|
| ConstraintSetInput (int4 oind, RHSConstant *sl, int4 varind) |
|
virtual UnifyConstraint * | clone (void) const |
|
virtual int4 | getBaseIndex (void) const |
|
virtual bool | step (UnifyState &state) |
|
virtual void | collectTypes (vector< UnifyDatatype > &typelist) const |
|
virtual void | print (ostream &s, UnifyCPrinter &printstate) const |
|
int4 | getId (void) const |
|
int4 | getMaxNum (void) |
|
virtual void | initialize (UnifyState &state) |
|
virtual void | buildTraverseState (UnifyState &state) |
|
virtual void | setId (int4 &id) |
|
virtual bool | isDummy (void) const |
|
virtual void | removeDummy (void) |
|
The documentation for this class was generated from the following file: