Uses of Interface
net.hydromatic.morel.util.Unifier.Tracer

Packages that use Unifier.Tracer

Package	Description
net.hydromatic.morel.util	Utilities.

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

Classes in net.hydromatic.morel.util that implement Unifier.Tracer

Modifier and Type	Class	Description
private static class	Tracers.NullTracer	Implementation of Unifier.Tracer that does nothing.
private static class	Tracers.PrintTracer	Implementation of Unifier.Tracer that writes to a given PrintWriter.

Fields in net.hydromatic.morel.util declared as Unifier.Tracer

Modifier and Type	Field	Description
(package private) final Unifier.Tracer	MartelliUnifier.Work.tracer

Methods in net.hydromatic.morel.util that return Unifier.Tracer

Modifier and Type	Method	Description
static Unifier.Tracer	Tracers.nullTracer()	Returns a tracer that does nothing.
static Unifier.Tracer	Tracers.printTracer(OutputStream stream)	Returns a tracer that writes debugging messages to a stream.
static Unifier.Tracer	Tracers.printTracer(PrintWriter w)	Returns a tracer that writes debugging messages to a writer.

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

Modifier and Type	Method	Description
@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)

Constructors in net.hydromatic.morel.util with parameters of type Unifier.Tracer

Modifier	Constructor	Description
(package private)	Work(Unifier.Tracer tracer, List<Unifier.TermTerm> termPairs)