Uses of Interface
org.xmloperator.lambda.net.util.WalkingContext

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.