## Uses of Class
de.dhbwstuttgart.typeinference.UndConstraint

- Packages that use UndConstraint
  Package | Description
  --- | ---
  de.dhbwstuttgart.syntaxtree.statement |
  de.dhbwstuttgart.typeinference |

- - ### Uses of UndConstraint in de.dhbwstuttgart.syntaxtree.statement

    Methods in de.dhbwstuttgart.syntaxtree.statement that return UndConstraint
    Modifier and Type | Method and Description
    --- | ---
    `UndConstraint` | MethodCall.`constraintsFromMethodAssumption(MethodAssumption methodAssumption, TypeAssumptions assumptions)` Spezifikation: overloading determines for all possible overloadings and overridings of a method the constraints, where constraints itself forms the constraints from the receiver type, the argument types, the return type and a given type assumption for the method.

  - ### Uses of UndConstraint in de.dhbwstuttgart.typeinference

    Methods in de.dhbwstuttgart.typeinference that return UndConstraint
    Modifier and Type | Method and Description
    --- | ---
    `(package private) UndConstraint` | OderConstraint.`filterUndConstraints()`

    Methods in de.dhbwstuttgart.typeinference that return types with arguments of type UndConstraint
    Modifier and Type | Method and Description
    --- | ---
    `private Menge<UndConstraint>` | ConstraintsSet.`filterUndConstraints()` Aus dem ConstraintsSet [ u1, u2, ...

    Methods in de.dhbwstuttgart.typeinference with parameters of type UndConstraint
    Modifier and Type | Method and Description
    --- | ---
    `void` | OderConstraint.`addConstraint(UndConstraint methodConstraint)`