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.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, List<Unifier.TermTerm> termPairs, Unifier.Substitution substitution, Map<Unifier.Variable,Unifier.Action> termActions, int depth)
private int	findDelete(List<Unifier.TermTerm> termPairs)
private int	findNonVarVar(List<Unifier.TermTerm> termPairs)
private int	findSeqSeq(List<Unifier.TermTerm> termPairs)
private int	findVarAny(List<Unifier.TermTerm> termPairs)
private void	substituteList(List<Unifier.TermTerm> termPairs, Unifier.Tracer tracer, Map<Unifier.Variable,Unifier.Term> map)	Applies a mapping to all term pairs in a list, modifying them in place.
Unifier.Result	unify(List<Unifier.TermTerm> termPairs, Map<Unifier.Variable,Unifier.Action> termActions, Unifier.Tracer tracer)

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(List<Unifier.TermTerm> termPairs,
                            Map<Unifier.Variable,Unifier.Action> termActions,
                            Unifier.Tracer tracer)

Specified by:

unify in class Unifier

substituteList

private void substituteList(List<Unifier.TermTerm> termPairs,
                            Unifier.Tracer tracer,
                            Map<Unifier.Variable,Unifier.Term> map)

Applies a mapping to all term pairs in a list, modifying them in place.

act

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

findDelete

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

findSeqSeq

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

findNonVarVar

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

findVarAny

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