|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Object | +--org.xmloperator.lambda.net.reduction.NetBetaUtils
Beta reductions in a lambda-net.
| Constructor Summary | |
NetBetaUtils()
|
|
| Method Summary | |
static boolean |
isRedex(Applicator applicator)
Returns true if the given Applicator is a redex. |
static Applicator |
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 |
reduce(Eraser rootEraser,
Applicator redexApplicator,
org.xmloperator.lambda.net.util.InteractionListener interactionListener)
Reduce a beta interaction and apply the x-rules. |
static void |
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. |
| Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
public NetBetaUtils()
| Method Detail |
public static final boolean isRedex(Applicator applicator)
applicator - an Applicator.
public static final Applicator leftermostOutermostRedex(org.xmloperator.lambda.net.util.WalkingContext walkingContext)
Pre-conditions:
Post-condition: the WalkingContext is positioned to the root Eraser.
walkingContext - a WalkingContext.
java.lang.IllegalStateException - if the given WalkingContext is not
curently positioned to the root Eraser.
java.lang.NullPointerException - if the given lambda-net is not closed.
public static final void reduce(Eraser rootEraser,
Applicator redexApplicator,
org.xmloperator.lambda.net.util.InteractionListener interactionListener)
Pre-conditions:
Post-conditions:
rootEraser - a root Eraser.redexApplicator - a redex Applicator.interactionListener - an InteractionListener. May be null.
public static final void reduceDeeply(org.xmloperator.lambda.net.util.WalkingContext walkingContext,
org.xmloperator.lambda.net.util.InteractionListener interactionListener,
org.xmloperator.lambda.net.reduction.ReductionListener redexListener)
Pre-conditions:
Post-conditions:
walkingContext - a WalkingContext.interactionListener - an InteractionListener. May be null.redexListener - a RedexListener. May be null.
java.lang.NullPointerException - if the lambda-net is broken.
NotInNormalFormException - if the ReductionListener decides
to throw this exception in order to stop this process.
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||