Uses of Interface
org.xmloperator.lambda.net.util.InteractionListener

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

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

Methods in org.xmloperator.lambda.net.reduction with parameters of type InteractionListener
static void NetBetaUtils.reduce(Eraser rootEraser, Applicator redexApplicator, org.xmloperator.lambda.net.util.InteractionListener interactionListener)
          Reduce a beta interaction and apply the x-rules.
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 InteractionListener in org.xmloperator.lambda.translate
 

Methods in org.xmloperator.lambda.translate with parameters of type InteractionListener
static Term FromNetToTerm.translate(Eraser rootEraser, TermFactory termFactory, org.xmloperator.lambda.net.util.InteractionListener interactionListener)
          Translate an interaction net to a Term.
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.