Package net.hydromatic.morel.util

Class RobinsonUnifier

java.lang.Object

net.hydromatic.morel.util.Unifier

net.hydromatic.morel.util.RobinsonUnifier

public class RobinsonUnifier
extends Unifier

Robinson's unification algorithm.

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
RobinsonUnifier()

Method Summary

Modifier and Type	Method	Description
(package private) static java.util.Map<Unifier.Variable,Unifier.Term>	compose(java.util.Map<Unifier.Variable,Unifier.Term> s1, java.util.Map<Unifier.Variable,Unifier.Term> s2)	Applies s1 to the elements of s2 and adds them into a single list.
private Unifier.Result	sequenceUnify(Unifier.Sequence lhs, Unifier.Sequence rhs)
(package private) static <E> java.util.List<E>	skip(java.util.List<E> list)
Unifier.Result	unify(java.util.List<Unifier.TermTerm> termPairs, java.util.Map<Unifier.Variable,Unifier.Action> termActions)
Unifier.Result	unify(Unifier.Term lhs, Unifier.Term rhs)

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

RobinsonUnifier

public RobinsonUnifier()

Method Detail

compose

static java.util.Map<Unifier.Variable,Unifier.Term> compose(java.util.Map<Unifier.Variable,Unifier.Term> s1,
                                                                  java.util.Map<Unifier.Variable,Unifier.Term> s2)

Applies s1 to the elements of s2 and adds them into a single list.

sequenceUnify

@Nonnull
private Unifier.Result sequenceUnify(Unifier.Sequence lhs,
                                     Unifier.Sequence rhs)

skip

static <E> java.util.List<E> skip(java.util.List<E> list)

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

unify

@Nonnull
public Unifier.Result unify(Unifier.Term lhs,
                            Unifier.Term rhs)