|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use ReductionListener | |
| org.xmloperator.lambda.tree.reduction | |
| Uses of ReductionListener in org.xmloperator.lambda.tree.reduction |
| Methods in org.xmloperator.lambda.tree.reduction with parameters of type ReductionListener | |
static Term |
TreeBetaUtils.reduceDeeply(Term rootTerm,
org.xmloperator.lambda.tree.reduction.ReductionListener reductionListener)
Reduces a Term until a normal form is obtained. |
|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||