Uses of Class
de.dhbwstuttgart.typeinference.assumptions.ClassAssumption

Packages that use ClassAssumption

Package	Description
de.dhbwstuttgart.typeinference.assumptions

Uses of ClassAssumption in de.dhbwstuttgart.typeinference.assumptions

Fields in de.dhbwstuttgart.typeinference.assumptions with type parameters of type ClassAssumption

Modifier and Type	Field and Description
private Menge<ClassAssumption>	TypeAssumptions.classAssumptions

Methods in de.dhbwstuttgart.typeinference.assumptions that return types with arguments of type ClassAssumption

Modifier and Type	Method and Description
Menge<ClassAssumption>	TypeAssumptions.getClassAssumptions()

Methods in de.dhbwstuttgart.typeinference.assumptions with parameters of type ClassAssumption

Modifier and Type	Method and Description
void	TypeAssumptions.addClassAssumption(ClassAssumption classAssumption) Fügt eine TypAssumption an.