org.xmloperator.lambda.tree.reduction
Interface ReductionListener


public interface ReductionListener

Listener about beta-reduction process.


Method Summary
 void notifyEndReduction(Term resultingTerm)
          Notify the end of a reduction.
 void notifyStartReduction(Application redex)
          Notify the starting of a reduction.
 

Method Detail

notifyStartReduction

public void notifyStartReduction(Application redex)
                          throws org.xmloperator.lambda.tree.exception.NotInNormalFormException
Notify the starting of a reduction. May raise a NotInNormalFormException in order to stop iterations.

Parameters:
redex - a redex to reduce.
org.xmloperator.lambda.tree.exception.NotInNormalFormException

notifyEndReduction

public void notifyEndReduction(Term resultingTerm)
Notify the end of a reduction.

Parameters:
resultingTerm - the Term resulting from the reduction.