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
A
ADD
- Static variable in class org.xmloperator.lambda2.term.util.
ChurchNumerals
Term
\x1x2x3x4.x1x3(x2x3x4)
AND
- Static variable in class org.xmloperator.lambda2.term.util.
CommonTerms
Term
\x1x2.x1x2F
ASSERTION
- Static variable in class org.xmloperator.lambda2.
MainTest
Abstraction
- interface org.xmloperator.lambda2.term.model.
Abstraction
.
Abstraction of a Term relatively to a set of linear variables.
Abstraction0Impl
- class org.xmloperator.lambda2.term.impl.
Abstraction0Impl
.
Zero or more variable Abstraction implementation.
Abstraction0Impl(TermImpl)
- Constructor for class org.xmloperator.lambda2.term.impl.
Abstraction0Impl
Abstraction1Impl
- class org.xmloperator.lambda2.term.impl.
Abstraction1Impl
.
One variable Abstraction implementation.
Abstraction1Impl(TermImpl, Variable)
- Constructor for class org.xmloperator.lambda2.term.impl.
Abstraction1Impl
AbstractionNImpl
- class org.xmloperator.lambda2.term.impl.
AbstractionNImpl
.
Two or more variables Abstraction implementation.
AbstractionNImpl(TermImpl, Variable[])
- Constructor for class org.xmloperator.lambda2.term.impl.
AbstractionNImpl
Application
- interface org.xmloperator.lambda2.term.model.
Application
.
Application of a function to an argument.
Application1Impl
- class org.xmloperator.lambda2.term.impl.
Application1Impl
.
Application implementation.
Application1Impl(TermImpl, TermImpl)
- Constructor for class org.xmloperator.lambda2.term.impl.
Application1Impl
ApplicationNImpl
- class org.xmloperator.lambda2.term.impl.
ApplicationNImpl
.
Application with function exponent implementation.
ApplicationNImpl(TermImpl, TermImpl, long)
- Constructor for class org.xmloperator.lambda2.term.impl.
ApplicationNImpl
addNewAuxiliaryPort()
- Method in class org.xmloperator.lambda2.net.impl.
DecoderImpl
addNewAuxiliaryPort()
- Method in interface org.xmloperator.lambda2.net.model.
Decoder
Adds a new auxiliary Port to this Cell and returns it.
addSequenceCount(long)
- Method in class org.xmloperator.lambda2.net.impl.
DecoderImpl
addSequenceCount(long)
- Method in interface org.xmloperator.lambda2.net.model.
Decoder
Adds a given sequence count to this unary Decoder.
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