Uses of Interface
org.xmloperator.lambda2.net.model.Port

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.