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

Packages that use Unifier
de.dhbwstuttgart.typeinference

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

Methods in de.dhbwstuttgart.typeinference with parameters of type Unifier
`(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