| Package | Description |
|---|---|
| de.dhbwstuttgart.typeinference |
| Modifier and Type | Class and Description |
|---|---|
class |
SingleConstraint
Beschreibung von Herrn Plümicke:
"The set of constraints consists of constraints of the form ø R ø' , where ø and
ø' are Java types and R (R â { < ,
|