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
L
LambdaNet
- interface org.xmloperator.lambda2.net.model.
LambdaNet
.
A LambdaNet is an interaction-net that represents a lambda term which is linear relativety to each of its free variables.
LambdaNetImpl
- class org.xmloperator.lambda2.net.impl.
LambdaNetImpl
.
LambdaNet implementation.
LambdaNetImpl()
- Constructor for class org.xmloperator.lambda2.net.impl.
LambdaNetImpl
Constructor of a LambdaNet that represents a free variable.
LambdaNetImpl(PortImpl)
- Constructor for class org.xmloperator.lambda2.net.impl.
LambdaNetImpl
Constructor of a cloned LambdaNet.
LongStack
- interface org.xmloperator.lambda2.net.model.
LongStack
.
Stack of
long
values.
LongStackImpl
- class org.xmloperator.lambda2.net.impl.
LongStackImpl
.
LongStack implementation.
LongStackImpl()
- Constructor for class org.xmloperator.lambda2.net.impl.
LongStackImpl
LongStackImpl(int)
- Constructor for class org.xmloperator.lambda2.net.impl.
LongStackImpl
longValue(TermReducer, Term)
- Static method in class org.xmloperator.lambda2.term.util.
Base2Numerals
Returns the long value modulo 2^63 of the given base 2 numeral 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