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