Uses of Interface
org.xmloperator.lambda.net.model.Applicator

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.