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.