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 Unifier.Result	RobinsonUnifier.sequenceUnify(Unifier.Sequence lhs, Unifier.Sequence rhs)
Unifier.Result	MartelliUnifier.unify(List<Unifier.TermTerm> termPairs, Map<Unifier.Variable,Unifier.Action> termActions, Unifier.Tracer tracer)
Unifier.Result	RobinsonUnifier.unify(List<Unifier.TermTerm> termPairs, Map<Unifier.Variable,Unifier.Action> termActions, Unifier.Tracer tracer)
Unifier.Result	RobinsonUnifier.unify(Unifier.Term lhs, Unifier.Term rhs)
abstract Unifier.Result	Unifier.unify(List<Unifier.TermTerm> termPairs, Map<Unifier.Variable,Unifier.Action> termActions, Unifier.Tracer tracer)