Package org.jcsp.net

Class IndexManager.ChannelAndIndex

java.lang.Object
org.jcsp.net.IndexManager.ChannelAndIndex
Enclosing class:
IndexManager

static class IndexManager.ChannelAndIndex extends Object
  • Field Details

    • channel

      public final Any2OneChannel channel
    • index

      public final long index
  • Constructor Details

    • ChannelAndIndex

      public ChannelAndIndex(Any2OneChannel channel, long index)