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

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

Modifier and Type	Interface	Description
static interface	Tracers.ConfigurableTracer	Tracer that allows each of its methods to be modified using a handler.

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

Modifier and Type	Class	Description
private static class	Tracers.ConfigurableTracerImpl	Implementation of Tracers.ConfigurableTracer that has a field for each handler.
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 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, 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)

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, List<Unifier.Constraint> constraints, Map<Unifier.Variable,Unifier.Term> result)