Differences

This shows you the differences between two versions of the page.

--- language:langs:dflow [2020/08/09 11:45]
rajit [Controlled merge]
+++ language:langs:dflow [2020/12/22 10:17]
rajit [Deterministic and non-deterministic merge]
@@ Line 112: / Line 112: @@
 </code>
 Note that this introduces an arbiter.
+Often it is helpful to know what decision was made by the arbiter. To support this, we permit an optional second channel on the right hand side of the dataflow expression as follows:
+<code>
+dataflow {
+ {|} I0, I1 -> O, c
+}
+</code>
+For each output generated, the control channel ''c'' will produce a 0 or 1 token depending on the choice made by the arbiter.
 ====== Examples ======