Package net.hydromatic.morel.util

Class MartelliUnifier.Work

java.lang.Object

net.hydromatic.morel.util.MartelliUnifier.Work

Enclosing class:

MartelliUnifier

class MartelliUnifier.Work
extends Object

Workspace for MartelliUnifier.

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final List<MartelliUnifier.MutableConstraint>	constraintQueue
(package private) final ArrayQueue<Unifier.TermTerm>	deleteQueue
(package private) final Map<Unifier.Variable,Unifier.Term>	result
(package private) final ArrayQueue<Unifier.TermTerm>	seqSeqQueue
(package private) final Unifier.Tracer	tracer
(package private) final ArrayQueue<Unifier.TermTerm>	varAnyQueue

Constructor Summary

Constructors

Constructor	Description
Work(Unifier.Tracer tracer, List<Unifier.TermTerm> termPairs, List<Unifier.Constraint> constraints, Map<Unifier.Variable,Unifier.Term> result)

Method Summary

Modifier and Type	Method	Description
(package private) void	add(Unifier.Term left, Unifier.Term right)
(package private) void	add2(Unifier.Term left, Unifier.Term right)
(package private) List<Unifier.TermTerm>	allTermPairs()	Returns a list of all term pairs.
private void	sub(Unifier.Variable variable, Unifier.Term term, ArrayQueue<Unifier.TermTerm> queue, MartelliUnifier.Kind kind)
private @Nullable Unifier.Failure	subConstraint(Unifier.Variable variable, Unifier.Term term)
private @Nullable Unifier.Failure	substituteList(Unifier.Variable variable, Unifier.Term term)	Applies a mapping to all term pairs in a list, modifying them in place.
String	toString()

Methods inherited from class java.lang.Object

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

Field Details

tracer

final Unifier.Tracer tracer

deleteQueue

final ArrayQueue<Unifier.TermTerm> deleteQueue

seqSeqQueue

final ArrayQueue<Unifier.TermTerm> seqSeqQueue

varAnyQueue

final ArrayQueue<Unifier.TermTerm> varAnyQueue

constraintQueue

final List<MartelliUnifier.MutableConstraint> constraintQueue

result

final Map<Unifier.Variable,Unifier.Term> result

Constructor Details

Work

Work(Unifier.Tracer tracer,
 List<Unifier.TermTerm> termPairs,
 List<Unifier.Constraint> constraints,
 Map<Unifier.Variable,Unifier.Term> result)

Method Details

toString

public String toString()

Overrides:

toString in class Object

add2

void add2(Unifier.Term left,
 Unifier.Term right)

add

void add(Unifier.Term left,
 Unifier.Term right)

allTermPairs

List<Unifier.TermTerm> allTermPairs()

Returns a list of all term pairs.

substituteList

private @Nullable Unifier.Failure substituteList(Unifier.Variable variable,
 Unifier.Term term)

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

sub

private void sub(Unifier.Variable variable,
 Unifier.Term term,
 ArrayQueue<Unifier.TermTerm> queue,
 MartelliUnifier.Kind kind)

subConstraint

private @Nullable Unifier.Failure subConstraint(Unifier.Variable variable,
 Unifier.Term term)