Uses of Interface
net.hydromatic.morel.util.Unifier.Tracer
Packages that use Unifier.Tracer
-
Uses of Unifier.Tracer in net.hydromatic.morel.util
Classes in net.hydromatic.morel.util that implement Unifier.TracerModifier and TypeClassDescriptionprivate static classImplementation ofUnifier.Tracerthat does nothing.private static classImplementation ofUnifier.Tracerthat writes to a givenPrintWriter.Methods in net.hydromatic.morel.util that return Unifier.TracerModifier and TypeMethodDescriptionstatic Unifier.TracerTracers.nullTracer()Returns a tracer that does nothing.static Unifier.TracerTracers.printTracer(OutputStream stream) Returns a tracer that writes debugging messages to a stream.static Unifier.TracerTracers.printTracer(PrintWriter w) Returns a tracer that writes debugging messages to a writer.Methods in net.hydromatic.morel.util with parameters of type Unifier.TracerModifier and TypeMethodDescriptionprivate voidMartelliUnifier.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.MartelliUnifier.unify(List<Unifier.TermTerm> termPairs, Map<Unifier.Variable, Unifier.Action> termActions, Unifier.Tracer tracer) RobinsonUnifier.unify(List<Unifier.TermTerm> termPairs, Map<Unifier.Variable, Unifier.Action> termActions, Unifier.Tracer tracer) abstract Unifier.ResultUnifier.unify(List<Unifier.TermTerm> termPairs, Map<Unifier.Variable, Unifier.Action> termActions, Unifier.Tracer tracer)