| Interface | Description |
|---|---|
| Unifier |
| Class | Description |
|---|---|
| CartesianProduct | |
| CSet<E> | |
| CSubstitution |
Implementierung einer Typsubstitution.
|
| CSubstitutionGenVar |
Implementierung einer Typsubstitution der GenVar.
|
| CSubstitutionSet | |
| CVectorSet<E> | |
| FC_TTO |
Hilfsklasse f�r den Unifizierungsalgorithmus
|
| MUB | |
| ParallelConstraintSet | |
| ParallelUnify | |
| Unify |
Implementierung des Unifizierungsalgorithmus
|
| UnifyResult |