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

Packages that use CSubstitutionSet
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
`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
`CSubstitutionSet` CSubstitutionSet.`deepCopy()`
`CSubstitutionSet` CSubstitutionSet.`shallowCopy()`

Methods in de.dhbwstuttgart.typeinference.unify with parameters of type CSubstitutionSet
`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.