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

- Packages that use Assumption
  Package | Description
  --- | ---
  de.dhbwstuttgart.typeinference.assumptions |

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

    Subclasses of Assumption in de.dhbwstuttgart.typeinference.assumptions
    Modifier and Type | Class and Description
    --- | ---
    `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
    Modifier and Type | Method and Description
    --- | ---
    `private Menge<Assumption>` | TypeAssumptions.`getAllAssumptions()`

    Methods in de.dhbwstuttgart.typeinference.assumptions with parameters of type Assumption
    Modifier and Type | Method and Description
    --- | ---
    `void` | TypeAssumptions.`addAssumption(Assumption ass)`

    Method parameters in de.dhbwstuttgart.typeinference.assumptions with type arguments of type Assumption
    Modifier and Type | Method and Description
    --- | ---
    `private void` | TypeAssumptions.`addAllAssumptions(Menge<Assumption> assumptions)`