| Package | Description |
|---|---|
| de.dhbwstuttgart.typeinference |
| Modifier and Type | Method and Description |
|---|---|
void |
SingleConstraint.addConstraint(ConstraintPair toAdd) |
void |
UndConstraint.addConstraint(ConstraintPair constraintPair) |
void |
OderConstraint.addConstraint(ConstraintPair toAdd)
Falls die Type des toAdd-Pairs nicht vom Typ RefType bzw.
|
| Constructor and Description |
|---|
SingleConstraint(ConstraintPair toAdd) |