# Package de.dhbwstuttgart.typeinference.unify

Interface Summary
Unifier

Class Summary
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