Package net.hydromatic.morel.util

Class MartelliUnifier

java.lang.Object

net.hydromatic.morel.util.Unifier

net.hydromatic.morel.util.MartelliUnifier

public class MartelliUnifier
extends Unifier

Unification algorithm due to Martelli, Montanari (1976) and Paterson, Wegman (1978).

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private static enum	MartelliUnifier.Kind
private static class	MartelliUnifier.MutableConstraint	As Unifier.Constraint, but mutable.
(package private) class	MartelliUnifier.Work	Workspace for MartelliUnifier.

Nested classes/interfaces inherited from class net.hydromatic.morel.util.Unifier

Unifier.Action, Unifier.Constraint, Unifier.CycleException, Unifier.Failure, Unifier.Result, Unifier.Retry, Unifier.Sequence, Unifier.Substitution, Unifier.SubstitutionResult, Unifier.Term, Unifier.TermTerm, Unifier.TermVisitor<R>, Unifier.Tracer, Unifier.Variable

Constructor Summary

Constructors

Constructor	Description
MartelliUnifier()

Method Summary

Modifier and Type	Method	Description
private void	act(Unifier.Variable variable, Unifier.Term term, MartelliUnifier.Work work, Unifier.Substitution substitution, Map<Unifier.Variable,Unifier.Action> termActions, Set<Unifier.Variable> set)
private void	act2(Unifier.Variable variable, Unifier.Term term, MartelliUnifier.Work work, Unifier.Substitution substitution, Map<Unifier.Variable,Unifier.Action> termActions, Set<Unifier.Variable> set)
@NonNull Unifier.Result	unify(List<Unifier.TermTerm> termPairs, Map<Unifier.Variable,Unifier.Action> termActions, List<Unifier.Constraint> constraints, Unifier.Tracer tracer)

Methods inherited from class net.hydromatic.morel.util.Unifier

apply, apply, atom, atomUnique, constraint, constraint, failure, occurs, sequenceApply, substitution, variable, variable, variable

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

MartelliUnifier

public MartelliUnifier()

Method Details

unify

public @NonNull Unifier.Result unify(List<Unifier.TermTerm> termPairs,
 Map<Unifier.Variable,Unifier.Action> termActions,
 List<Unifier.Constraint> constraints,
 Unifier.Tracer tracer)

Specified by:

unify in class Unifier

act

private void act(Unifier.Variable variable,
 Unifier.Term term,
 MartelliUnifier.Work work,
 Unifier.Substitution substitution,
 Map<Unifier.Variable,Unifier.Action> termActions,
 Set<Unifier.Variable> set)

act2

private void act2(Unifier.Variable variable,
 Unifier.Term term,
 MartelliUnifier.Work work,
 Unifier.Substitution substitution,
 Map<Unifier.Variable,Unifier.Action> termActions,
 Set<Unifier.Variable> set)