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.

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
private void	MartelliUnifier.substituteList(List<Unifier.TermTerm> termPairs, Unifier.Tracer tracer, Map<Unifier.Variable,Unifier.Term> map)	Applies a mapping to all term pairs in a list, modifying them in place.
Unifier.Result	MartelliUnifier.unify(List<Unifier.TermTerm> termPairs, Map<Unifier.Variable,Unifier.Action> termActions, Unifier.Tracer tracer)
Unifier.Result	RobinsonUnifier.unify(List<Unifier.TermTerm> termPairs, Map<Unifier.Variable,Unifier.Action> termActions, Unifier.Tracer tracer)
abstract Unifier.Result	Unifier.unify(List<Unifier.TermTerm> termPairs, Map<Unifier.Variable,Unifier.Action> termActions, Unifier.Tracer tracer)