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 Type	Method	Description
void	onConflict(Unifier.Sequence left, Unifier.Sequence right)
void	onCycle(Unifier.Variable variable, Unifier.Term term)
void	onDelete(Unifier.Term left, Unifier.Term right)
void	onSequence(Unifier.Sequence left, Unifier.Sequence right)
void	onSubstitute(Unifier.Term left, Unifier.Term right, Unifier.Term left2, Unifier.Term right2)
void	onSwap(Unifier.Term left, Unifier.Term right)
void	onVariable(Unifier.Variable variable, Unifier.Term term)

Method Details

onDelete

void onDelete(Unifier.Term left,
 Unifier.Term right)

onConflict

void onConflict(Unifier.Sequence left,
 Unifier.Sequence right)

onSequence

void onSequence(Unifier.Sequence left,
 Unifier.Sequence right)

onSwap

void onSwap(Unifier.Term left,
 Unifier.Term right)

onCycle

void onCycle(Unifier.Variable variable,
 Unifier.Term term)

onVariable

void onVariable(Unifier.Variable variable,
 Unifier.Term term)

onSubstitute

void onSubstitute(Unifier.Term left,
 Unifier.Term right,
 Unifier.Term left2,
 Unifier.Term right2)