## Uses of Interface
de.dhbwstuttgart.typeinference.unify.Unifier

- Packages that use Unifier
  Package | Description
  --- | ---
  de.dhbwstuttgart.typeinference |

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

    Methods in de.dhbwstuttgart.typeinference with parameters of type Unifier
    Modifier and Type | Method and Description
    --- | ---
    `(package private) void` | OderConstraint.`filterWrongConstraints(Unifier unifier)`
    `void` | ConstraintsSet.`filterWrongConstraints(Unifier unify)` Liefert alle Constraint-Variationen
    `void` | ConstraintsSet.`unifyUndConstraints(Unifier unifier)` Nimmt alle UndConstraints und filtert mithilfe dieser die falschen Constraints aus den OderConstraints