Package net.hydromatic.morel.util
Interface Unifier.Tracer
- All Known Implementing Classes:
Tracers.NullTracer,Tracers.PrintTracer
- Enclosing class:
Unifier
public static interface Unifier.Tracer
Called on various events during unification.
-
Method Summary
Modifier and TypeMethodDescriptionvoidonConflict(Unifier.Sequence left, Unifier.Sequence right) voidonCycle(Unifier.Variable variable, Unifier.Term term) voidonDelete(Unifier.Term left, Unifier.Term right) voidonSequence(Unifier.Sequence left, Unifier.Sequence right) voidonSubstitute(Unifier.Term left, Unifier.Term right, Unifier.Term left2, Unifier.Term right2) voidonSwap(Unifier.Term left, Unifier.Term right) voidonVariable(Unifier.Variable variable, Unifier.Term term)
-
Method Details
-
onDelete
-
onConflict
-
onSequence
-
onSwap
-
onCycle
-
onVariable
-
onSubstitute
-