Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
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.
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
V
W
Y
Z