Uses of Class
org.xmloperator.lambda2.net.model.TooMuchReductionStepException

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.