Uses of Interface
org.xmloperator.lambda.net.reduction.ReductionListener

Packages that use ReductionListener
org.xmloperator.lambda.net.reduction   
org.xmloperator.lambda.translate   
 

Uses of ReductionListener in org.xmloperator.lambda.net.reduction
 

Methods in org.xmloperator.lambda.net.reduction with parameters of type ReductionListener
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 ReductionListener in org.xmloperator.lambda.translate
 

Methods in org.xmloperator.lambda.translate with parameters of type ReductionListener
static Term Reducer.reduceDeeply(Term rootTerm, OperatorFactory operatorFactory, org.xmloperator.lambda.net.util.InteractionListener interactionListener, org.xmloperator.lambda.net.reduction.ReductionListener redexListener)
          Reduces a term until the normal form, if possible.