# Uses of Package
de.dhbwstuttgart.typeinference.unify

- Packages that use de.dhbwstuttgart.typeinference.unify
  Package | Description
  --- | ---
  de.dhbwstuttgart.syntaxtree |
  de.dhbwstuttgart.syntaxtree.type |
  de.dhbwstuttgart.typeinference |
  de.dhbwstuttgart.typeinference.unify |

- Classes in de.dhbwstuttgart.typeinference.unify used by de.dhbwstuttgart.syntaxtree
  Class and Description
  FC_TTO Hilfsklasse fÃ¯Â¿Â½r den Unifizierungsalgorithmus

- Classes in de.dhbwstuttgart.typeinference.unify used by de.dhbwstuttgart.syntaxtree.type
  Class and Description
  CSubstitutionSet

- Classes in de.dhbwstuttgart.typeinference.unify used by de.dhbwstuttgart.typeinference
  Class and Description
  Unifier

- Classes in de.dhbwstuttgart.typeinference.unify used by de.dhbwstuttgart.typeinference.unify
  Class and Description
  CartesianProduct
  CSet
  CSubstitution Implementierung einer Typsubstitution.
  CSubstitutionSet
  CVectorSet
  FC_TTO Hilfsklasse fÃ¯Â¿Â½r den Unifizierungsalgorithmus
  MUB
  UnifyResult