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
M
MOD_SUCC
- Static variable in class org.xmloperator.lambda2.term.util.
Modulo2Numerals
Term that represents the successor function for a numeral under the form (n / 2, n % 2).
MULT
- Static variable in class org.xmloperator.lambda2.term.util.
ChurchNumerals
Term
\x1x2x3.x1(x2x3)
MainTest
- class org.xmloperator.lambda2.
MainTest
.
Test package.
MainTest()
- Constructor for class org.xmloperator.lambda2.
MainTest
Modulo2Numerals
- class org.xmloperator.lambda2.term.util.
Modulo2Numerals
.
Terms that represent couples (n / 2, n % 2).
Modulo2Numerals()
- Constructor for class org.xmloperator.lambda2.term.util.
Modulo2Numerals
main(String[])
- Static method in class org.xmloperator.lambda2.
MainTest
main(String[])
- Static method in class org.xmloperator.lambda2.net.impl.
LambdaNetImpl
main(String[])
- Static method in class org.xmloperator.lambda2.net.impl.
Test
main(String[])
- Static method in class org.xmloperator.lambda2.net.util.
Test
main(String[])
- Static method in class org.xmloperator.lambda2.term.impl.
Test
main(String[])
- Static method in class org.xmloperator.lambda2.term.util.
Base2Numerals
main(String[])
- Static method in class org.xmloperator.lambda2.term.util.
ChurchNumerals
main(String[])
- Static method in class org.xmloperator.lambda2.term.util.
CommonTerms
main(String[])
- Static method in class org.xmloperator.lambda2.term.util.
Modulo2Numerals
main(String[])
- Static method in class org.xmloperator.lambda2.term.util.
Test
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