# Hierarchy For Package de.dhbwstuttgart.typeinference.unify

Package Hierarchies:

- All Packages

## Class Hierarchy

- java.lang.Object
  - de.dhbwstuttgart.typeinference.unify.CartesianProduct
  - de.dhbwstuttgart.typeinference.unify.CSet<E> (implements java.lang.Iterable<T>)
    - de.dhbwstuttgart.typeinference.unify.CVectorSet<E>
      - de.dhbwstuttgart.typeinference.unify.CSubstitutionSet
  - de.dhbwstuttgart.typeinference.unify.CSubstitution
    - de.dhbwstuttgart.typeinference.unify.CSubstitutionGenVar
  - de.dhbwstuttgart.typeinference.unify.FC_TTO
  - de.dhbwstuttgart.typeinference.unify.MUB
  - de.dhbwstuttgart.typeinference.unify.ParallelUnify
  - de.dhbwstuttgart.typeinference.UndMenge<A> (implements de.dhbwstuttgart.typeinference.KomplexeMenge<A>)
    - de.dhbwstuttgart.typeinference.ConstraintsSet
      - de.dhbwstuttgart.typeinference.unify.ParallelConstraintSet
  - de.dhbwstuttgart.typeinference.unify.Unify
  - de.dhbwstuttgart.typeinference.unify.UnifyResult

## Interface Hierarchy

- de.dhbwstuttgart.typeinference.unify.Unifier