## Uses of Class
de.dhbwstuttgart.typeinference.unify.CSubstitution

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

- - ### Uses of CSubstitution in de.dhbwstuttgart.typeinference.unify

    Subclasses of CSubstitution in de.dhbwstuttgart.typeinference.unify
    Modifier and Type | Class and Description
    --- | ---
    `class` | `CSubstitutionGenVar` Implementierung einer Typsubstitution der GenVar.

    Methods in de.dhbwstuttgart.typeinference.unify that return CSubstitution
    Modifier and Type | Method and Description
    --- | ---
    `CSubstitution` | CSubstitution.`clone()`

    Methods in de.dhbwstuttgart.typeinference.unify that return types with arguments of type CSubstitution
    Modifier and Type | Method and Description
    --- | ---
    `java.util.Iterator<CSubstitution>` | CSubstitutionSet.`iterator()`

    Methods in de.dhbwstuttgart.typeinference.unify with parameters of type CSubstitution
    Modifier and Type | Method and Description
    --- | ---
    `private Type` | CSubstitution.`applySubstitution(Type type, CSubstitution unifierSub)` Wendet die Ã¯Â¿Â½bergebene Substitution rekursiv auf den Ã¯Â¿Â½bergebenen Typ an.