| Package | Description |
|---|---|
| de.dhbwstuttgart.syntaxtree | |
| de.dhbwstuttgart.syntaxtree.type | |
| de.dhbwstuttgart.typeinference | |
| de.dhbwstuttgart.typeinference.unify |
| Class and Description |
|---|
| FC_TTO
Hilfsklasse f�r den Unifizierungsalgorithmus
|
| Class and Description |
|---|
| CSubstitutionSet |
| Class and Description |
|---|
| Unifier |
| Class and Description |
|---|
| CartesianProduct |
| CSet |
| CSubstitution
Implementierung einer Typsubstitution.
|
| CSubstitutionSet |
| CVectorSet |
| FC_TTO
Hilfsklasse f�r den Unifizierungsalgorithmus
|
| MUB |
| UnifyResult |