|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
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 |
public void notifyStartReduction(Application redex) throws org.xmloperator.lambda.tree.exception.NotInNormalFormException
redex
- a redex to reduce.
org.xmloperator.lambda.tree.exception.NotInNormalFormException
public void notifyEndReduction(Term resultingTerm)
resultingTerm
- the Term resulting from the reduction.
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |