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