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.SubstitutionResult, Unifier.Term, Unifier.TermTerm, Unifier.TermVisitor<R>, Unifier.Tracer, Unifier.Variable

Constructor Summary

Constructors

Constructor	Description
RobinsonUnifier()

Method Summary

Modifier and Type	Method	Description
(package private) static Map<Unifier.Variable,Unifier.Term>	compose(Map<Unifier.Variable,Unifier.Term> s1, 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)
Unifier.Result	unify(List<Unifier.TermTerm> termPairs, Map<Unifier.Variable,Unifier.Action> termActions, Unifier.Tracer tracer)
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, variable

Methods inherited from class java.lang.Object

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

Constructor Details

RobinsonUnifier

public RobinsonUnifier()

Method Details

compose

static Map<Unifier.Variable,Unifier.Term> compose(Map<Unifier.Variable,Unifier.Term> s1,
 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)

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

unify

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