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
F
F
- Static variable in class org.xmloperator.lambda2.term.util.
CommonTerms
Term
\x1x2.x2
FIRST_IN_COUPLE
- Static variable in class org.xmloperator.lambda2.term.util.
CommonTerms
Term
\x1.x1\x2x3.x2
FIRST_IN_TRIPLE
- Static variable in class org.xmloperator.lambda2.term.util.
CommonTerms
Term
\x1.x1\x2x3x4.x2
FIRST_OF_THREE
- Static variable in class org.xmloperator.lambda2.term.util.
CommonTerms
Term
\x1x2x3.x1
freeVariables()
- Method in class org.xmloperator.lambda2.term.impl.
TermImpl
freeVariables()
- Method in interface org.xmloperator.lambda2.term.model.
Term
Returns the set of free variables 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