# Package de.dhbwstuttgart.typeinference.unify

- Interface Summary
  Interface | Description
  --- | ---
  Unifier |

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