Package org.jcsp.lang

Class PoisonableBufferedOne2AnyChannelInt

    • Constructor Detail

      • PoisonableBufferedOne2AnyChannelInt

        PoisonableBufferedOne2AnyChannelInt​(ChannelDataStoreInt _data,
                                            int _immunity)