|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use WalkingContext | |
| org.xmloperator.lambda.net.reduction | |
| org.xmloperator.lambda.translate | |
| Uses of WalkingContext in org.xmloperator.lambda.net.reduction |
| Methods in org.xmloperator.lambda.net.reduction with parameters of type WalkingContext | |
static Applicator |
NetBetaUtils.leftermostOutermostRedex(org.xmloperator.lambda.net.util.WalkingContext walkingContext)
Return the leftermost-outermost redex Applicator of a lambda-net or null if the lambda-net has no redex. |
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 WalkingContext in org.xmloperator.lambda.translate |
| Subinterfaces of WalkingContext in org.xmloperator.lambda.translate | |
interface |
WalkingContextTranslater
Walking context with a translation capability. |
|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||