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

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

Modifier and Type	Interface	Description
static interface	Unifier.Failure	Result indicating that unification was not possible.
static interface	Unifier.Retry	Result indicating that unification may be possible if we adjust some initial parameters.

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

Modifier and Type	Class	Description
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, List<Unifier.Constraint> constraints, Unifier.Tracer tracer)
@NonNull Unifier.Result	RobinsonUnifier.unify(List<Unifier.TermTerm> termPairs, Map<Unifier.Variable,Unifier.Action> termActions, List<Unifier.Constraint> constraints, 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, List<Unifier.Constraint> constraints, Unifier.Tracer tracer)