Uses of Class
mycompiler.mytypereconstruction.CSubstitution

Packages that use CSubstitution

Package	Description
mycompiler.mytypereconstruction
mycompiler.mytypereconstruction.set
mycompiler.mytypereconstruction.typeassumption

Uses of CSubstitution in mycompiler.mytypereconstruction

Subclasses of CSubstitution in mycompiler.mytypereconstruction

Modifier and Type	Class and Description
class	CSubstitutionGenVar Implementierung einer Typsubstitution der GenVar.

Methods in mycompiler.mytypereconstruction that return CSubstitution

Modifier and Type	Method and Description
CSubstitution	CSubstitution.clone()

Uses of CSubstitution in mycompiler.mytypereconstruction.set

Methods in mycompiler.mytypereconstruction.set that return types with arguments of type CSubstitution

Modifier and Type	Method and Description
java.util.Iterator<CSubstitution>	CSubstitutionSet.iterator()

Uses of CSubstitution in mycompiler.mytypereconstruction.typeassumption

Methods in mycompiler.mytypereconstruction.typeassumption with parameters of type CSubstitution

Modifier and Type	Method and Description
void	CMethodTypeAssumption.sub(CSubstitution substitution)
void	CTypeAssumption.sub(CSubstitution substitution)