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
S
ScopeBinder
- interface org.xmloperator.lambda.net.model.
ScopeBinder
.
Binding between Delimiters and their mapping Abstractors.
Serializer
- interface org.xmloperator.lambda.tree.serialize.
Serializer
.
Term serializer.
setArgument(Term)
- Method in interface org.xmloperator.lambda.tree.model.
Application
Set the argument of this Application.
setBody(Term)
- Method in interface org.xmloperator.lambda.tree.model.
TermWithBody
Set the body of this Term.
setMark(int)
- Method in interface org.xmloperator.lambda.net.model.
Operator
Set the mark attached to this operator.
setRootTerm(Term)
- Method in interface org.xmloperator.lambda.translate.
WalkingContextTranslater
Set the root Term.
strictlyEquals(Term, Term)
- Static method in class org.xmloperator.lambda.tree.util.
AlphaUtils
Evaluates the strict-equivalence of two Terms.
STYLE_API
- Static variable in class org.xmloperator.lambda.tree.serialize.
PrefixedSerializer
STYLE_SCOPE
- Static variable in class org.xmloperator.lambda.tree.serialize.
PrefixedSerializer
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