|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ReductionListener | |
org.xmloperator.lambda.net.reduction | |
org.xmloperator.lambda.translate |
Uses of ReductionListener in org.xmloperator.lambda.net.reduction |
Methods in org.xmloperator.lambda.net.reduction with parameters of type ReductionListener | |
static void |
NetBetaUtils.reduceDeeply(org.xmloperator.lambda.net.util.WalkingContext walkingContext,
org.xmloperator.lambda.net.util.InteractionListener interactionListener,
org.xmloperator.lambda.net.reduction.ReductionListener redexListener)
Reduce a lambda-net until a normal form is obtained or an exception is throwed. |
Uses of ReductionListener in org.xmloperator.lambda.translate |
Methods in org.xmloperator.lambda.translate with parameters of type ReductionListener | |
static Term |
Reducer.reduceDeeply(Term rootTerm,
OperatorFactory operatorFactory,
org.xmloperator.lambda.net.util.InteractionListener interactionListener,
org.xmloperator.lambda.net.reduction.ReductionListener redexListener)
Reduces a term until the normal form, if possible. |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |