Uses of Class
net.hydromatic.morel.util.Unifier.TermTerm

Packages that use Unifier.TermTerm

Package	Description
net.hydromatic.morel.util	Utilities.

Uses of Unifier.TermTerm in net.hydromatic.morel.util

Fields in net.hydromatic.morel.util with type parameters of type Unifier.TermTerm

Modifier and Type	Field	Description
(package private) final ArrayQueue<Unifier.TermTerm>	MartelliUnifier.Work.deleteQueue
(package private) final ArrayQueue<Unifier.TermTerm>	MartelliUnifier.Work.seqSeqQueue
(package private) final ArrayQueue<Unifier.TermTerm>	MartelliUnifier.Work.varAnyQueue

Methods in net.hydromatic.morel.util that return types with arguments of type Unifier.TermTerm

Modifier and Type	Method	Description
(package private) List<Unifier.TermTerm>	MartelliUnifier.Work.allTermPairs()	Returns a list of all term pairs.

Method parameters in net.hydromatic.morel.util with type arguments of type Unifier.TermTerm

Modifier and Type	Method	Description
static void	Unifiers.dump(PrintWriter pw, Iterable<Unifier.TermTerm> pairs)	Given several pairs of terms, generates a program that will create those pairs of terms.
(package private) void	Unifiers.Dumper.dumpAll(Iterable<? extends Unifier.TermTerm> pairs)
private void	MartelliUnifier.Work.sub(Unifier.Variable variable, Unifier.Term term, ArrayQueue<Unifier.TermTerm> queue, MartelliUnifier.Kind kind)
@NonNull Unifier.Result	MartelliUnifier.unify(List<Unifier.TermTerm> termPairs, Map<Unifier.Variable,Unifier.Action> termActions, List<Unifier.Constraint> constraints, Unifier.Tracer tracer)
@NonNull Unifier.Result	RobinsonUnifier.unify(List<Unifier.TermTerm> termPairs, Map<Unifier.Variable,Unifier.Action> termActions, List<Unifier.Constraint> constraints, Unifier.Tracer tracer)
abstract @NonNull Unifier.Result	Unifier.unify(List<Unifier.TermTerm> termPairs, Map<Unifier.Variable,Unifier.Action> termActions, List<Unifier.Constraint> constraints, Unifier.Tracer tracer)

Constructor parameters in net.hydromatic.morel.util with type arguments of type Unifier.TermTerm

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