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