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

Field Summary

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

EMPTY

Constructor Summary

Constructors

Constructor	Description
MartelliUnifier()

Method Summary

Modifier and Type	Method	Description
private void	act(Unifier.Variable variable, Unifier.Term term, java.util.List<Unifier.TermTerm> termPairs, java.util.Map<Unifier.Variable,Unifier.Action> termActions, int depth)
private int	findDelete(java.util.List<Unifier.TermTerm> termPairs)
private int	findNonVarVar(java.util.List<Unifier.TermTerm> termPairs)
private int	findSeqSeq(java.util.List<Unifier.TermTerm> termPairs)
private int	findVarAny(java.util.List<Unifier.TermTerm> termPairs)
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, sequenceApply, 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

act

private void act(Unifier.Variable variable,
                 Unifier.Term term,
                 java.util.List<Unifier.TermTerm> termPairs,
                 java.util.Map<Unifier.Variable,Unifier.Action> termActions,
                 int depth)

findDelete

private int findDelete(java.util.List<Unifier.TermTerm> termPairs)

findSeqSeq

private int findSeqSeq(java.util.List<Unifier.TermTerm> termPairs)

findNonVarVar

private int findNonVarVar(java.util.List<Unifier.TermTerm> termPairs)

findVarAny

private int findVarAny(java.util.List<Unifier.TermTerm> termPairs)