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