From 735f91432bfd4559427df8c7e2bafe25c98af11c Mon Sep 17 00:00:00 2001 From: "Giammarco, Kristin M" <kmgiamma@nps.edu> Date: Fri, 23 Jul 2021 01:00:22 +0000 Subject: [PATCH] Upload New File --- snippets/COORDINATE/Basic_Coordination.mp | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 snippets/COORDINATE/Basic_Coordination.mp diff --git a/snippets/COORDINATE/Basic_Coordination.mp b/snippets/COORDINATE/Basic_Coordination.mp new file mode 100644 index 0000000..872ae98 --- /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; -- GitLab