diff --git a/snippets/COORDINATE/Basic_Coordination.mp b/snippets/COORDINATE/Basic_Coordination.mp new file mode 100644 index 0000000000000000000000000000000000000000..872ae98f7b6ce19b6a337d49f96dcf5a4f315cfd --- /dev/null +++ b/snippets/COORDINATE/Basic_Coordination.mp @@ -0,0 +1,8 @@ +/* Basic coordination adding a precedence relation + between events in different roots. FROM clause is + optional when there is no reuse of same event name + in different roots. (MP Manual sections 2.3, 4.4) */ + + COORDINATE $x: a FROM A, + $y: b FROM B + DO ADD $x PRECEDES $y; OD;