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
N
NOT
- Static variable in class org.xmloperator.lambda2.term.util.
CommonTerms
Term
\x1.x1FK
newInt(int)
- Static method in class org.xmloperator.lambda2.term.util.
Base2Numerals
Creates and returns a Term that represents an integer.
newInt(int)
- Static method in class org.xmloperator.lambda2.term.util.
ChurchNumerals
Creates and returns a Term that represents an integer.
newModInt(int)
- Static method in class org.xmloperator.lambda2.term.util.
Modulo2Numerals
Creates and returns a Term that represents a numeral under the form (n / 2, n % 2) : \t.t churchInt(n / 2) boolean(n % 2).
newTwice(boolean)
- Static method in class org.xmloperator.lambda2.term.util.
Base2Numerals
Creates and returns a Term that represents the function that returns twice the value of the argument.
normalForm(Term)
- Method in class org.xmloperator.lambda2.net.impl.
TermReducerImpl
normalForm(Term)
- Method in interface org.xmloperator.lambda2.term.model.
TermReducer
Returns the normal form, if it exists, of the given Term.
numeralValue(int[])
- Method in class org.xmloperator.lambda2.net.impl.
LambdaNetImpl
numeralValue(Term)
- Method in class org.xmloperator.lambda2.net.impl.
TermReducerImpl
numeralValue(int[])
- Method in interface org.xmloperator.lambda2.net.model.
LambdaNet
Returns the value modulo 2^63 of the Church numeral Term represented by this LambdaNet.
numeralValue(Term)
- Method in interface org.xmloperator.lambda2.term.model.
TermReducer
Returns the Church numeral value represented by the given Term if it represents one, elsewhere returns -1L.
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