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/interfaces inherited from class net.hydromatic.morel.util.Unifier

Unifier.Action, Unifier.Failure, Unifier.Result, Unifier.Sequence, Unifier.Substitution, Unifier.Term, Unifier.TermTerm, Unifier.TermVisitor<R>, Unifier.Variable

Constructor Summary

Constructors

Constructor	Description
MartelliUnifier()

Method Summary

Modifier and Type	Method	Description
Unifier.Result	unify(java.util.List<Unifier.TermTerm> termPairs, java.util.Map<Unifier.Variable,Unifier.Action> termActions)

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

apply, apply, atom, failure, occurs, substitution, variable, variable

Methods inherited from class java.lang.Object

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

Constructor Detail

MartelliUnifier

public MartelliUnifier()

Method Detail

unify

@Nonnull
public Unifier.Result unify(java.util.List<Unifier.TermTerm> termPairs,
                            java.util.Map<Unifier.Variable,Unifier.Action> termActions)

Specified by:

unify in class Unifier