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

Packages that use Unifier.Result

Package	Description
net.hydromatic.morel.util	Utilities.

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

Classes in net.hydromatic.morel.util that implement Unifier.Result

Modifier and Type	Class	Description
static class	Unifier.Failure	Result indicating that unification was not possible.
static final class	Unifier.SubstitutionResult	The results of a successful unification.

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

Modifier and Type	Method	Description
private @NonNull Unifier.Result	RobinsonUnifier.sequenceUnify(Unifier.Sequence lhs, Unifier.Sequence rhs)
@NonNull Unifier.Result	MartelliUnifier.unify(List<Unifier.TermTerm> termPairs, Map<Unifier.Variable,Unifier.Action> termActions, Unifier.Tracer tracer)
@NonNull Unifier.Result	RobinsonUnifier.unify(List<Unifier.TermTerm> termPairs, Map<Unifier.Variable,Unifier.Action> termActions, Unifier.Tracer tracer)
@NonNull Unifier.Result	RobinsonUnifier.unify(Unifier.Term lhs, Unifier.Term rhs)
abstract @NonNull Unifier.Result	Unifier.unify(List<Unifier.TermTerm> termPairs, Map<Unifier.Variable,Unifier.Action> termActions, Unifier.Tracer tracer)