|
UnifyConstraint * | getConstraint (int4 slot) const |
|
void | addConstraint (UnifyConstraint *a) |
|
int4 | numConstraints (void) const |
|
void | deleteConstraint (int4 slot) |
|
void | mergeIn (ConstraintGroup *b) |
|
virtual UnifyConstraint * | clone (void) const |
|
virtual void | initialize (UnifyState &state) |
|
virtual bool | step (UnifyState &state) |
|
virtual void | collectTypes (vector< UnifyDatatype > &typelist) const |
|
virtual void | buildTraverseState (UnifyState &state) |
|
virtual void | setId (int4 &id) |
|
virtual int4 | getBaseIndex (void) const |
|
virtual void | print (ostream &s, UnifyCPrinter &printstate) const |
|
virtual void | removeDummy (void) |
|
int4 | getId (void) const |
|
int4 | getMaxNum (void) |
|
virtual bool | isDummy (void) const |
|
The documentation for this class was generated from the following file: