Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W
M
main(String[])
- Static method in class org.xmloperator.lambda.translate.
Reducer
main(String[])
- Static method in class org.xmloperator.lambda.tree.util.
AlphaUtils
main(String[])
- Static method in class org.xmloperator.lambda.tree.util.
CommonTerms
main(String[])
- Static method in class org.xmloperator.lambda.tree.generate.
ChurchNumerals
main(String[])
- Static method in class org.xmloperator.lambda.tree.serialize.
PrefixedSerializer
main(String[])
- Static method in class org.xmloperator.lambda.tree.reduction.
TreeBetaUtils
main(String[])
- Static method in class org.xmloperator.lambda.tree.serialize.
UsualSerializer
matchingAbstraction(Term)
- Static method in class org.xmloperator.lambda.tree.util.
AlphaUtils
Returns the Abstraction matching a given variable.
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W