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
G
get(int)
- Method in class org.xmloperator.lambda2.net.impl.
StackImpl
get(int)
- Method in interface org.xmloperator.lambda2.net.model.
Stack
Returns the object of this stack with the given index.
getArgument()
- Method in class org.xmloperator.lambda2.term.impl.
Application1Impl
getArgument()
- Method in interface org.xmloperator.lambda2.term.model.
Application
Returns the argument of this Application.
getAuxiliaryPort()
- Method in class org.xmloperator.lambda2.net.impl.
WireCellImpl
getAuxiliaryPort()
- Method in interface org.xmloperator.lambda2.net.model.
WireCell
Returns the auxiliary Port of this wire Cell.
getBody()
- Method in class org.xmloperator.lambda2.term.impl.
Abstraction0Impl
getBody()
- Method in interface org.xmloperator.lambda2.term.model.
Abstraction
Returns the body of this Abstraction.
getBodyPort()
- Method in class org.xmloperator.lambda2.net.impl.
PentaryMultiplexorImpl
getBodyPort()
- Method in interface org.xmloperator.lambda2.net.model.
PentaryMultiplexor
Returns the body Port of this (de-)multiplexor.
getBodySupport()
- Method in class org.xmloperator.lambda2.net.impl.
LambdaNetImpl
getBodySupport()
- Method in interface org.xmloperator.lambda2.net.model.
LambdaNet
Returns the free Port that supports the interaction-net body.
getBoundVariable(int)
- Method in class org.xmloperator.lambda2.term.impl.
Abstraction0Impl
getBoundVariable(int)
- Method in class org.xmloperator.lambda2.term.impl.
Abstraction1Impl
getBoundVariable(int)
- Method in class org.xmloperator.lambda2.term.impl.
AbstractionNImpl
getBoundVariable(int)
- Method in interface org.xmloperator.lambda2.term.model.
Abstraction
Returns the bound Variable of this Abstraction, with the given index.
getBoundVariableCount()
- Method in class org.xmloperator.lambda2.term.impl.
Abstraction0Impl
getBoundVariableCount()
- Method in class org.xmloperator.lambda2.term.impl.
Abstraction1Impl
getBoundVariableCount()
- Method in class org.xmloperator.lambda2.term.impl.
AbstractionNImpl
getBoundVariableCount()
- Method in interface org.xmloperator.lambda2.term.model.
Abstraction
Returns the count of linear bound variables of this Abstraction.
getCell()
- Method in class org.xmloperator.lambda2.net.impl.
PortImpl
getCell()
- Method in interface org.xmloperator.lambda2.net.model.
Port
Returns the Cell to which this port belongs to or null if this Port is free.
getConnectedPort()
- Method in class org.xmloperator.lambda2.net.impl.
PortImpl
getConnectedPort()
- Method in interface org.xmloperator.lambda2.net.model.
Port
Returns the Port to which this one is connected or null if it is not connected.
getDuplicatorPort0()
- Method in class org.xmloperator.lambda2.net.impl.
PentaryMultiplexorImpl
getDuplicatorPort0()
- Method in interface org.xmloperator.lambda2.net.model.
PentaryMultiplexor
Returns the Port of this (de-)multiplexor that maps to the Port 0 of a duplicator.
getDuplicatorPort1()
- Method in class org.xmloperator.lambda2.net.impl.
PentaryMultiplexorImpl
getDuplicatorPort1()
- Method in interface org.xmloperator.lambda2.net.model.
PentaryMultiplexor
Returns the Port of this (de-)multiplexor that maps to the Port 1 of a duplicator.
getDuplicatorPort2()
- Method in class org.xmloperator.lambda2.net.impl.
PentaryMultiplexorImpl
getDuplicatorPort2()
- Method in interface org.xmloperator.lambda2.net.model.
PentaryMultiplexor
Returns the Port of this (de-)multiplexor that maps to the Port 2 of a duplicator.
getFreeVariableCount()
- Method in class org.xmloperator.lambda2.net.impl.
LambdaNetImpl
getFreeVariableCount()
- Method in interface org.xmloperator.lambda2.net.model.
LambdaNet
Returns the count of free variables.
getFunction()
- Method in class org.xmloperator.lambda2.term.impl.
Application1Impl
getFunction()
- Method in interface org.xmloperator.lambda2.term.model.
Application
Returns the function of this Application.
getFunctionExponent()
- Method in class org.xmloperator.lambda2.term.impl.
Application1Impl
getFunctionExponent()
- Method in class org.xmloperator.lambda2.term.impl.
ApplicationNImpl
getFunctionExponent()
- Method in interface org.xmloperator.lambda2.term.model.
Application
Returns the function exponent.
getIndex()
- Method in class org.xmloperator.lambda2.net.impl.
DecoderImpl
getIndex()
- Method in interface org.xmloperator.lambda2.net.model.
Decoder
Returns the index attached to this Decoder.
getPort(int)
- Method in class org.xmloperator.lambda2.net.impl.
BinaryCellImpl
getPort(int)
- Method in class org.xmloperator.lambda2.net.impl.
DecoderImpl
getPort(int)
- Method in class org.xmloperator.lambda2.net.impl.
EraserCellImpl
getPort(int)
- Method in class org.xmloperator.lambda2.net.impl.
PentaryMultiplexorImpl
getPort(int)
- Method in class org.xmloperator.lambda2.net.impl.
WireCellImpl
getPort(int)
- Method in interface org.xmloperator.lambda2.net.model.
Cell
Returns the port with the given number.
getPort1()
- Method in class org.xmloperator.lambda2.net.impl.
BinaryCellImpl
getPort1()
- Method in interface org.xmloperator.lambda2.net.model.
BinaryCell
Returns the first auxiliary Port of this Cell.
getPort2()
- Method in class org.xmloperator.lambda2.net.impl.
BinaryCellImpl
getPort2()
- Method in interface org.xmloperator.lambda2.net.model.
BinaryCell
Returns the second auxiliary Port of this Cell.
getPortNumber()
- Method in class org.xmloperator.lambda2.net.impl.
PortImpl
getPortNumber()
- Method in interface org.xmloperator.lambda2.net.model.
Port
Returns the number of this port.
getPrincipalPort()
- Method in class org.xmloperator.lambda2.net.impl.
CellImpl
getPrincipalPort()
- Method in interface org.xmloperator.lambda2.net.model.
Cell
Returns the principal port of this cell.
getSequenceCount()
- Method in class org.xmloperator.lambda2.net.impl.
DecoderImpl
getSequenceCount()
- Method in interface org.xmloperator.lambda2.net.model.
Decoder
Returns the sequence count of this unary Decoder.
getSymbol()
- Method in class org.xmloperator.lambda2.net.impl.
BinaryCellImpl
getSymbol()
- Method in class org.xmloperator.lambda2.net.impl.
DecoderImpl
getSymbol()
- Method in class org.xmloperator.lambda2.net.impl.
EraserCellImpl
getSymbol()
- Method in class org.xmloperator.lambda2.net.impl.
PentaryMultiplexorImpl
getSymbol()
- Method in class org.xmloperator.lambda2.net.impl.
WireCellImpl
getSymbol()
- Method in interface org.xmloperator.lambda2.net.model.
Cell
Returns the Symbol
SYMBOL_*
of this cell.
getSymbolArity()
- Method in class org.xmloperator.lambda2.net.impl.
BinaryCellImpl
getSymbolArity()
- Method in class org.xmloperator.lambda2.net.impl.
DecoderImpl
getSymbolArity()
- Method in class org.xmloperator.lambda2.net.impl.
EraserCellImpl
getSymbolArity()
- Method in class org.xmloperator.lambda2.net.impl.
PentaryMultiplexorImpl
getSymbolArity()
- Method in class org.xmloperator.lambda2.net.impl.
WireCellImpl
getSymbolArity()
- Method in interface org.xmloperator.lambda2.net.model.
Cell
Returns the symbol arity of this Cell.
getTermType()
- Method in class org.xmloperator.lambda2.term.impl.
Abstraction0Impl
getTermType()
- Method in class org.xmloperator.lambda2.term.impl.
Application1Impl
getTermType()
- Method in class org.xmloperator.lambda2.term.impl.
VariableImpl
getTermType()
- Method in interface org.xmloperator.lambda2.term.model.
Term
Returns the type of this term.
getVariablePort()
- Method in class org.xmloperator.lambda2.net.impl.
PentaryMultiplexorImpl
getVariablePort()
- Method in interface org.xmloperator.lambda2.net.model.
PentaryMultiplexor
Returns the variable Port of this (de-)multiplexor.
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