45 // ships required in order to run this code
50 // alternate values from choice1+choice2
51 choice.out1: [*] wait, take, sendto debug.in;
52 choice.out2: [*] wait, take, sendto debug.in;
56 (*) notify choice.out1;
57 (*) notify choice.out2;
62 choice.in1: take; [*] deliver;
63 choice.in2: take; [*] deliver;
67 choice.in: [*] take, deliver;
69 fifo.in: [*] take, deliver;
91 [3] wait, take, sendto choice.in.swapIfZero;
92 [3] wait, take, sendto choice.in.swapIfNonZero;
93 [3] wait, take, sendto choice.in.swapIfPositive;
94 [3] wait, take, sendto choice.in.swapIfNonPositive;
95 [3] wait, take, sendto choice.in.swapIfNegative;
96 [3] wait, take, sendto choice.in.swapIfNonNegative;