|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |