|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Port | |
org.xmloperator.lambda2.net.impl | |
org.xmloperator.lambda2.net.model |
Uses of Port in org.xmloperator.lambda2.net.impl |
Classes in org.xmloperator.lambda2.net.impl that implement Port | |
class |
BinaryCellImpl
BinaryCell implementation. |
class |
CellImpl
Cell implementation. |
class |
DecoderImpl
Decoder implementation. |
class |
EraserCellImpl
Eraser implementation. |
class |
PentaryMultiplexorImpl
Multiplexor implementation. |
class |
PortImpl
Port implementation. |
class |
WireCellImpl
Wire cell implementation. |
Methods in org.xmloperator.lambda2.net.impl that return Port | |
Port |
BinaryCellImpl.getPort(int portNumber)
|
Port |
BinaryCellImpl.getPort1()
|
Port |
BinaryCellImpl.getPort2()
|
Port |
CellImpl.getPrincipalPort()
|
Port |
DecoderImpl.getPort(int portNumber)
|
Port |
DecoderImpl.addNewAuxiliaryPort()
|
Port |
EraserCellImpl.getPort(int portNumber)
|
Port |
LambdaNetImpl.getBodySupport()
|
Port |
PentaryMultiplexorImpl.getPort(int portNumber)
|
Port |
PentaryMultiplexorImpl.getBodyPort()
|
Port |
PentaryMultiplexorImpl.getVariablePort()
|
Port |
PentaryMultiplexorImpl.getDuplicatorPort0()
|
Port |
PentaryMultiplexorImpl.getDuplicatorPort1()
|
Port |
PentaryMultiplexorImpl.getDuplicatorPort2()
|
Port |
PortImpl.getConnectedPort()
|
Port |
WireCellImpl.getPort(int portNumber)
|
Port |
WireCellImpl.getAuxiliaryPort()
|
Methods in org.xmloperator.lambda2.net.impl with parameters of type Port | |
static BinaryCell |
Duplicators.extractDuplicator(Port support)
Extracts the duplicator of an interaction net. |
void |
LambdaNetImpl.buildAbstraction(Port freeVariableSupport)
|
void |
LambdaNetImpl.buildAbstraction(Port[] freeVariableSupports)
|
void |
PortImpl.connectTo(Port port)
|
Uses of Port in org.xmloperator.lambda2.net.model |
Methods in org.xmloperator.lambda2.net.model that return Port | |
Port |
BinaryCell.getPort1()
Returns the first auxiliary Port of this Cell. |
Port |
BinaryCell.getPort2()
Returns the second auxiliary Port of this Cell. |
Port |
Cell.getPrincipalPort()
Returns the principal port of this cell. |
Port |
Cell.getPort(int portNumber)
Returns the port with the given number. |
Port |
Decoder.addNewAuxiliaryPort()
Adds a new auxiliary Port to this Cell and returns it. |
Port |
LambdaNet.getBodySupport()
Returns the free Port that supports the interaction-net body. |
Port |
PentaryMultiplexor.getBodyPort()
Returns the body Port of this (de-)multiplexor. |
Port |
PentaryMultiplexor.getVariablePort()
Returns the variable Port of this (de-)multiplexor. |
Port |
PentaryMultiplexor.getDuplicatorPort0()
Returns the Port of this (de-)multiplexor that maps to the Port 0 of a duplicator. |
Port |
PentaryMultiplexor.getDuplicatorPort1()
Returns the Port of this (de-)multiplexor that maps to the Port 1 of a duplicator. |
Port |
PentaryMultiplexor.getDuplicatorPort2()
Returns the Port of this (de-)multiplexor that maps to the Port 2 of a duplicator. |
Port |
Port.getConnectedPort()
Returns the Port to which this one is connected or null if it is not connected. |
Port |
WireCell.getAuxiliaryPort()
Returns the auxiliary Port of this wire Cell. |
Methods in org.xmloperator.lambda2.net.model with parameters of type Port | |
void |
LambdaNet.buildAbstraction(Port freeVariableSupport)
Transforms this LambdaNet in such a way that its represented lambda term "t" is replaced by the abstraction "\x.t", where "x" is bound to the given variable of "t". |
void |
LambdaNet.buildAbstraction(Port[] freeVariableSupports)
Transforms this LambdaNet in such a way that its represented lambda term "t" is replaced by the abstraction "\x.t", where "x" is bound to the given variables of "t". |
void |
Port.connectTo(Port port)
Connects this Port to another Port. |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |