## Uses of Class
de.dhbwstuttgart.typeinference.assumptions.Assumption

Packages that use Assumption
de.dhbwstuttgart.typeinference.assumptions

### Uses of Assumption in de.dhbwstuttgart.typeinference.assumptions

Subclasses of Assumption in de.dhbwstuttgart.typeinference.assumptions
`class` `ConstructorAssumption`
`class` `FieldAssumption`
`class` `GenericVarAssumption`
`class` `LocalVarAssumption`
`class` `MethodAssumption`
`class` `ParameterAssumption` ParameterAssumptions reprÃ¤sentieren die Methodenparameter innerhalb des Rumpfes einer Methode.

Methods in de.dhbwstuttgart.typeinference.assumptions that return types with arguments of type Assumption
`private Menge<Assumption>` TypeAssumptions.`getAllAssumptions()`

Methods in de.dhbwstuttgart.typeinference.assumptions with parameters of type Assumption
`void` TypeAssumptions.`addAssumption(Assumption ass)`

Method parameters in de.dhbwstuttgart.typeinference.assumptions with type arguments of type Assumption
`private void` TypeAssumptions.`addAllAssumptions(Menge<Assumption> assumptions)`