|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use TooMuchReductionStepException | |
org.xmloperator.lambda2.net.impl | |
org.xmloperator.lambda2.net.model | |
org.xmloperator.lambda2.term.model |
Uses of TooMuchReductionStepException in org.xmloperator.lambda2.net.impl |
Methods in org.xmloperator.lambda2.net.impl that throw TooMuchReductionStepException | |
int |
LambdaNetImpl.reduceUntilInterfaceNormalForm(int maxStepCount,
int[] interactionStat)
|
Term |
LambdaNetImpl.readBack(boolean inNormalForm,
int maxStepCount,
int[] interactionStat)
|
Term |
TermReducerImpl.normalForm(Term term)
|
Uses of TooMuchReductionStepException in org.xmloperator.lambda2.net.model |
Methods in org.xmloperator.lambda2.net.model that throw TooMuchReductionStepException | |
int |
LambdaNet.reduceUntilInterfaceNormalForm(int maxStepCount,
int[] interactionStat)
Reduces this LambdaNet until the interface has a normal form. |
Term |
LambdaNet.readBack(boolean inNormalForm,
int maxStepCount,
int[] interactionStat)
Read back the Term represented by this LambdaNet. |
Uses of TooMuchReductionStepException in org.xmloperator.lambda2.term.model |
Methods in org.xmloperator.lambda2.term.model that throw TooMuchReductionStepException | |
Term |
TermReducer.normalForm(Term term)
Returns the normal form, if it exists, of the given Term. |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |