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.