Uses of Interface
net.hydromatic.morel.util.Unifier.Failure

Packages that use Unifier.Failure

Package	Description
net.hydromatic.morel.util	Utilities.

Uses of Unifier.Failure in net.hydromatic.morel.util

Methods in net.hydromatic.morel.util that return Unifier.Failure

Modifier and Type	Method	Description
protected Unifier.Failure	Unifier.failure(String reason)
private @Nullable Unifier.Failure	MartelliUnifier.Work.subConstraint(Unifier.Variable variable, Unifier.Term term)
private @Nullable Unifier.Failure	MartelliUnifier.Work.substituteList(Unifier.Variable variable, Unifier.Term term)	Applies a mapping to all term pairs in a list, modifying them in place.