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

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

- - ### Uses of CSubstitutionSet in de.dhbwstuttgart.syntaxtree.type

    Methods in de.dhbwstuttgart.syntaxtree.type that return CSubstitutionSet
    Modifier and Type | Method and Description
    --- | ---
    `CSubstitutionSet` | RefType.`GenericTypeVar2TypePlaceholder()` Wandelt die Parameter des RefTypes in TPHs um, sofern es sich um Generische Variablen handelt.

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

    Methods in de.dhbwstuttgart.typeinference.unify that return CSubstitutionSet
    Modifier and Type | Method and Description
    --- | ---
    `CSubstitutionSet` | CSubstitutionSet.`deepCopy()`
    `CSubstitutionSet` | CSubstitutionSet.`shallowCopy()`

    Methods in de.dhbwstuttgart.typeinference.unify with parameters of type CSubstitutionSet
    Modifier and Type | Method and Description
    --- | ---
    `void` | CSubstitution.`applyUnifier(CSubstitutionSet unifier)` Wendet den Unifier auf die rechte Seite dieser Substitution an.
    `void` | CSubstitutionSet.`applyUnifier(CSubstitutionSet unifier)` Wendet den Unifier auf die rechten Seiten alle Substitutionen an.