## 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.