org.xmloperator.lambda.net.reduction
Interface ReductionListener


public interface ReductionListener

Listener about beta-reduction process.


Method Summary
 void notifyStartReduction(Eraser rootEraser, Applicator redexApplicator)
          Notify the starting of a reduction.
 

Method Detail

notifyStartReduction

public void notifyStartReduction(Eraser rootEraser,
                                 Applicator redexApplicator)
                          throws org.xmloperator.lambda.net.reduction.NotInNormalFormException
Notify the starting of a reduction. May raise a NotInNormalFormException in order to stop iterations.

Parameters:
rootEraser - a root Eraser.
redexApplicator - the leftermost outermost redex.
org.xmloperator.lambda.net.reduction.NotInNormalFormException