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

Packages that use CSubstitution
de.dhbwstuttgart.typeinference.unify

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

Subclasses of CSubstitution in de.dhbwstuttgart.typeinference.unify
`class` `CSubstitutionGenVar` Implementierung einer Typsubstitution der GenVar.

Methods in de.dhbwstuttgart.typeinference.unify that return CSubstitution
`CSubstitution` CSubstitution.`clone()`

Methods in de.dhbwstuttgart.typeinference.unify that return types with arguments of type CSubstitution
`java.util.Iterator<CSubstitution>` CSubstitutionSet.`iterator()`

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