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
A
Abstraction
- interface org.xmloperator.lambda.tree.model.
Abstraction
.
Abstraction Term.
abstractionIndex(Term, Abstraction)
- Static method in class org.xmloperator.lambda.tree.util.
AlphaUtils
Returns the index of an
Abstraction
within a Term.
Abstractor
- interface org.xmloperator.lambda.net.model.
Abstractor
.
Abstractor in a lambda-net.
add(Operator)
- Method in interface org.xmloperator.lambda.net.model.
OperatorList
Add an Operator to the list.
alphaEquals(Term, Term)
- Static method in class org.xmloperator.lambda.tree.util.
AlphaUtils
Evaluates the alpha-equivalence of two closed Terms.
AlphaUtils
- class org.xmloperator.lambda.tree.util.
AlphaUtils
.
Utilities about cloning, scope extrusion and alpha-equality.
AlphaUtils()
- Constructor for class org.xmloperator.lambda.tree.util.
AlphaUtils
Application
- interface org.xmloperator.lambda.tree.model.
Application
.
Application Term.
Applicator
- interface org.xmloperator.lambda.net.model.
Applicator
.
Applicator in a lambda-net.
attachScopeBinder()
- Method in interface org.xmloperator.lambda.net.model.
Abstractor
If this Abstractor is not already attached to a ScopeBinder then create a ScopeBinder and attach it to the Abstractor.
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