|
|||||||||||
| 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.NotInNormalFormExceptionpublic 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 | ||||||||||