| Interface | Description |
|---|---|
| GenericTypeInsertable |
Wird von Knoten im Syntaxbaum implementiert, welche ein Einsetzen von generischen Variablendeklarationen erlauben.
|
| KomplexeMenge<A> | |
| Typeable | |
| TypeInsertable |
| Class | Description |
|---|---|
| ConstraintPair | |
| ConstraintsSet | |
| ConstraintType | |
| EinzelElement<A> | |
| FunN | |
| FunNInterface |
Stellt das Interface FunN dar.
|
| FunNMethod | |
| JavaCodeResult | |
| KarthesischesProdukt | |
| Menge<A> | |
| OderConstraint | |
| OderMenge<A> | |
| Pair | |
| ResultSet |
Im Grunde Sammlung von Pair s mit Equal-Operatoren.
|
| 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 â { < ,
|
| TIPConstraints | |
| TypeinferenceResultSet |
Diese Container-Klasse kapselt alle Ergebniswerte f�r eine m�gliche
Typkombination einer Klasse und deren Methoden sowie lokalen Variablen.
|
| UndConstraint |
Stellt ein Constraint dar, welches aus mehreren Constraint-Paaren besteht.
|
| UndMenge<A> |
| Enum | Description |
|---|---|
| Pair.PairOperator |