diff --git a/snippets/COORDINATE/Unsynchronized_Coordination.mp b/snippets/COORDINATE/Unsynchronized_Coordination.mp new file mode 100644 index 0000000000000000000000000000000000000000..4882a8e955f7ada4f23ca3a16ab8b3c879d497b5 --- /dev/null +++ b/snippets/COORDINATE/Unsynchronized_Coordination.mp @@ -0,0 +1,16 @@ +/* Unsynchronized coordination for iteration cycles adding + precedence relation whether they appear in the same cycle + or not (MP Manual section 4.8) + SCHEMA S1 + ROOT R1: (+ (A | B) C +); + ROOT R2: (+ (D | E) F +); */ + +COORDINATE $a: A FROM R1, $d: D FROM R2 + DO + ADD $a PRECEDES $d; + OD; + +COORDINATE $b: B FROM R1, $e: E FROM R2 + DO + ADD $b PRECEDES $e; + OD;