A B C D E F G H I K L M N O P R S T V W Y Z

T

TERM_REDUCER - Static variable in class org.xmloperator.lambda2.MainTest
 
TETA - Static variable in class org.xmloperator.lambda2.term.util.CommonTerms
Term (\x1x2.x2(x1x1x2))\x1x2.x2(x1x1x2)
THIRD_IN_TRIPLE - Static variable in class org.xmloperator.lambda2.term.util.CommonTerms
Term \x1.x1\x2x3x4.x4
THIRD_OF_THREE - Static variable in class org.xmloperator.lambda2.term.util.CommonTerms
Term \x1x2x3.x3
THREE_N_PLUS_R - Static variable in class org.xmloperator.lambda2.term.util.Base2Numerals
Term that represents the function g(n, r) = 3 * n + r, with r = 0, 1 or 2.
TRIPLE - Static variable in class org.xmloperator.lambda2.term.util.CommonTerms
Term \x1x2x3x4.x4x1x2x3
TWICE0 - Static variable in class org.xmloperator.lambda2.term.util.Base2Numerals
Term that represents the function that returns twice the value of the argument.
TWICE1 - Static variable in class org.xmloperator.lambda2.term.util.Base2Numerals
Term that represents the function that returns twice the value of the argument plus one.
TYPE_ABSTRACTION - Static variable in interface org.xmloperator.lambda2.term.model.Term
 
TYPE_APPLICATION - Static variable in interface org.xmloperator.lambda2.term.model.Term
 
TYPE_VARIABLE - Static variable in interface org.xmloperator.lambda2.term.model.Term
 
Term - interface org.xmloperator.lambda2.term.model.Term.
A term of the lambda-calculus.
TermImpl - class org.xmloperator.lambda2.term.impl.TermImpl.
Term implementation.
TermImpl() - Constructor for class org.xmloperator.lambda2.term.impl.TermImpl
 
TermReducer - interface org.xmloperator.lambda2.term.model.TermReducer.
Lambda Term reducer.
TermReducerImpl - class org.xmloperator.lambda2.net.impl.TermReducerImpl.
TermReducer implementation.
TermReducerImpl(int, int[]) - Constructor for class org.xmloperator.lambda2.net.impl.TermReducerImpl
Constructor of TermReducer.
Test - class org.xmloperator.lambda2.net.impl.Test.
Package test.
Test() - Constructor for class org.xmloperator.lambda2.net.impl.Test
 
Test - class org.xmloperator.lambda2.net.util.Test.
Package test.
Test() - Constructor for class org.xmloperator.lambda2.net.util.Test
 
Test - class org.xmloperator.lambda2.term.impl.Test.
Package test.
Test() - Constructor for class org.xmloperator.lambda2.term.impl.Test
 
Test - class org.xmloperator.lambda2.term.util.Test.
Package test.
Test() - Constructor for class org.xmloperator.lambda2.term.util.Test
 
TooMuchReductionStepException - exception org.xmloperator.lambda2.net.model.TooMuchReductionStepException.
Exception raised when the reduction process of an interaction net doesn't terminate.
TooMuchReductionStepException() - Constructor for class org.xmloperator.lambda2.net.model.TooMuchReductionStepException
 
TooMuchReductionStepException(String) - Constructor for class org.xmloperator.lambda2.net.model.TooMuchReductionStepException
 
test(PrintStream, boolean) - Static method in class org.xmloperator.lambda2.MainTest
Executes some tests.
test(PrintStream, boolean) - Static method in class org.xmloperator.lambda2.net.impl.LambdaNetImpl
Try some LambdaNets.
test(PrintStream, boolean) - Static method in class org.xmloperator.lambda2.net.impl.Test
Executes some tests on the package.
test(PrintStream, boolean) - Static method in class org.xmloperator.lambda2.net.util.Test
Executes some tests on the package.
test(PrintStream, boolean) - Static method in class org.xmloperator.lambda2.term.impl.Test
Executes some tests on the package.
test(PrintStream, boolean) - Static method in class org.xmloperator.lambda2.term.util.Base2Numerals
Execute some operations using base 2 numerals.
test(PrintStream, boolean) - Static method in class org.xmloperator.lambda2.term.util.ChurchNumerals
Execute some operations using Church numerals.
test(PrintStream, boolean) - Static method in class org.xmloperator.lambda2.term.util.CommonTerms
Try some common Builders.
test(PrintStream, boolean) - Static method in class org.xmloperator.lambda2.term.util.Modulo2Numerals
Execute some operations using numerals.
test(PrintStream, boolean) - Static method in class org.xmloperator.lambda2.term.util.Test
Executes some tests on the package.
threeStates(int) - Static method in class org.xmloperator.lambda2.term.util.CommonTerms
Creates and returns a Term that represents a selector amongst three states.
toString() - Method in class org.xmloperator.lambda2.term.impl.TermImpl
 
toText() - Method in class org.xmloperator.lambda2.term.impl.TermImpl
 
toText() - Method in interface org.xmloperator.lambda2.term.model.Term
Returns a text representation of this Term.

A B C D E F G H I K L M N O P R S T V W Y Z