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.

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

Modifier and Type	Method	Description
(package private) void	MartelliUnifier.Work.add(Unifier.TermTerm pair)
(package private) static MartelliUnifier.Kind	MartelliUnifier.Kind.of(Unifier.TermTerm pair)

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

Modifier and Type	Method	Description
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, Unifier.Tracer tracer)
@NonNull Unifier.Result	RobinsonUnifier.unify(List<Unifier.TermTerm> termPairs, Map<Unifier.Variable,Unifier.Action> termActions, Unifier.Tracer tracer)
abstract @NonNull Unifier.Result	Unifier.unify(List<Unifier.TermTerm> termPairs, Map<Unifier.Variable,Unifier.Action> termActions, 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)