Package org.jcsp.net

Class IndexManager.ChannelAndIndex

  • Enclosing class:
    IndexManager

    static class IndexManager.ChannelAndIndex
    extends java.lang.Object
    • Method Summary

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • index

        public final long index
    • Constructor Detail

      • ChannelAndIndex

        public ChannelAndIndex​(Any2OneChannel channel,
                               long index)