diff --git a/snippets/COORDINATE/Merged_Coordination.mp b/snippets/COORDINATE/Merged_Coordination.mp new file mode 100644 index 0000000000000000000000000000000000000000..9b7f1b911447d8917905ef372e127aa1afbe8e10 --- /dev/null +++ b/snippets/COORDINATE/Merged_Coordination.mp @@ -0,0 +1,8 @@ +/* Merged coordination adding multiple precedence + relations at once (MP Manual section 4.4) */ + +COORDINATE $x: a FROM A, + $y: b FROM B, + $z: c FROM C + DO ADD $x PRECEDES $y, + $x PRECEDES $z; OD;