Uses of Interface
net.hydromatic.morel.util.Tracers.QuadConsumer
Packages that use Tracers.QuadConsumer
-
Uses of Tracers.QuadConsumer in net.hydromatic.morel.util
Fields in net.hydromatic.morel.util declared as Tracers.QuadConsumerModifier and TypeFieldDescriptionprivate final Tracers.QuadConsumer<Unifier.Term, Unifier.Term, Unifier.Term, Unifier.Term> Tracers.ConfigurableTracerImpl.substituteHandlerMethods in net.hydromatic.morel.util with parameters of type Tracers.QuadConsumerModifier and TypeMethodDescriptionTracers.ConfigurableTracer.withSubstituteHandler(Tracers.QuadConsumer<Unifier.Term, Unifier.Term, Unifier.Term, Unifier.Term> handler) Sets handler forUnifier.Tracer.onSubstitute(Term, Term, Term, Term).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.QuadConsumerModifierConstructorDescriptionprivateConfigurableTracerImpl(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)