Package net.hydromatic.morel.util

Class MartelliUnifier.Work

java.lang.Object

net.hydromatic.morel.util.MartelliUnifier.Work

Enclosing class:

MartelliUnifier

static class MartelliUnifier.Work
extends Object

Workspace for MartelliUnifier.

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final ArrayQueue<Unifier.TermTerm>	deleteQueue
(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)

Method Summary

Modifier and Type	Method	Description
(package private) void	add(Unifier.TermTerm pair)
(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 void	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

Constructor Details

Work

Work(Unifier.Tracer tracer,
 List<Unifier.TermTerm> termPairs)

Method Details

toString

public String toString()

Overrides:

toString in class Object

add

void add(Unifier.TermTerm pair)

allTermPairs

List<Unifier.TermTerm> allTermPairs()

Returns a list of all term pairs.

substituteList

private void 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)