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

Packages that use UndConstraint
de.dhbwstuttgart.syntaxtree.statement
de.dhbwstuttgart.typeinference

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

Methods in de.dhbwstuttgart.syntaxtree.statement that return UndConstraint
`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
`(package private) UndConstraint` OderConstraint.`filterUndConstraints()`

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

Methods in de.dhbwstuttgart.typeinference with parameters of type UndConstraint
`void` OderConstraint.`addConstraint(UndConstraint methodConstraint)`