Package org.jcsp.test
Class WriterProcessInt
- java.lang.Object
-
- org.jcsp.test.WriterProcessInt
-
-
Constructor Summary
Constructors Constructor Description WriterProcessInt(ChannelOutputInt out, int[] values, AltingBarrier event)
WriterProcessInt(ChannelOutputInt out, int[] values, AltingBarrier[][] events)
-
-
-
Constructor Detail
-
WriterProcessInt
public WriterProcessInt(ChannelOutputInt out, int[] values, AltingBarrier[][] events)
-
WriterProcessInt
public WriterProcessInt(ChannelOutputInt out, int[] values, AltingBarrier event)
-
-