| Package | Description |
|---|---|
| de.dhbwstuttgart.typeinference | |
| de.dhbwstuttgart.typeinference.unify |
| Modifier and Type | Class and Description |
|---|---|
class |
ConstraintsSet |
class |
UndConstraint
Stellt ein Constraint dar, welches aus mehreren Constraint-Paaren besteht.
|
| Modifier and Type | Method and Description |
|---|---|
Menge<UndMenge<A>> |
KomplexeMenge.getAndSets() |
Menge<UndMenge<A>> |
EinzelElement.getAndSets() |
Menge<UndMenge<A>> |
OderMenge.getAndSets() |
Menge<UndMenge<A>> |
UndMenge.getAndSets() |
| Modifier and Type | Class and Description |
|---|---|
(package private) class |
ParallelConstraintSet |