Uses of Interface
net.hydromatic.morel.util.Tracers.QuadConsumer

Packages that use Tracers.QuadConsumer

Package	Description
net.hydromatic.morel.util	Utilities.

Uses of Tracers.QuadConsumer in net.hydromatic.morel.util

Fields in net.hydromatic.morel.util declared as Tracers.QuadConsumer

Modifier and Type	Field	Description
private final Tracers.QuadConsumer<Unifier.Term,Unifier.Term,Unifier.Term,Unifier.Term>	Tracers.ConfigurableTracerImpl.substituteHandler

Methods in net.hydromatic.morel.util with parameters of type Tracers.QuadConsumer

Modifier and Type	Method	Description
Tracers.ConfigurableTracer	Tracers.ConfigurableTracer.withSubstituteHandler(Tracers.QuadConsumer<Unifier.Term,Unifier.Term,Unifier.Term,Unifier.Term> handler)	Sets handler for Unifier.Tracer.onSubstitute(Term, Term, Term, Term).
Tracers.ConfigurableTracer	Tracers.ConfigurableTracerImpl.withSubstituteHandler(Tracers.QuadConsumer<Unifier.Term,Unifier.Term,Unifier.Term,Unifier.Term> substituteHandler)

Constructors in net.hydromatic.morel.util with parameters of type Tracers.QuadConsumer

Modifier	Constructor	Description
private	ConfigurableTracerImpl(BiConsumer<Unifier.Term,Unifier.Term> deleteHandler, BiConsumer<Unifier.Sequence,Unifier.Sequence> conflictHandler, BiConsumer<Unifier.Sequence,Unifier.Sequence> sequenceHandler, BiConsumer<Unifier.Term,Unifier.Term> swapHandler, BiConsumer<Unifier.Variable,Unifier.Term> cycleHandler, BiConsumer<Unifier.Variable,Unifier.Term> variableHandler, Tracers.QuadConsumer<Unifier.Term,Unifier.Term,Unifier.Term,Unifier.Term> substituteHandler)