org.xmloperator.lambda.net.reduction
Interface ReductionListener
- public interface ReductionListener
Listener about beta-reduction process.
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