|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Applicator | |
org.xmloperator.lambda.net.model | |
org.xmloperator.lambda.net.reduction |
Uses of Applicator in org.xmloperator.lambda.net.model |
Methods in org.xmloperator.lambda.net.model that return Applicator | |
Applicator |
OperatorFactory.createApplicator(int mark)
Creates and returns a new Applicator. |
Uses of Applicator in org.xmloperator.lambda.net.reduction |
Methods in org.xmloperator.lambda.net.reduction that return Applicator | |
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. |
Methods in org.xmloperator.lambda.net.reduction with parameters of type Applicator | |
static boolean |
NetBetaUtils.isRedex(Applicator applicator)
Returns true if the given Applicator is a redex. |
static void |
NetBetaUtils.reduce(Eraser rootEraser,
Applicator redexApplicator,
org.xmloperator.lambda.net.util.InteractionListener interactionListener)
Reduce a beta interaction and apply the x-rules. |
void |
ReductionListener.notifyStartReduction(Eraser rootEraser,
Applicator redexApplicator)
Notify the starting of a reduction. |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |