From eea6a676b6de7fdad36fa61ab2d3a93d487458a1 Mon Sep 17 00:00:00 2001
From: "Giammarco, Kristin M" <kmgiamma@nps.edu>
Date: Fri, 23 Jul 2021 01:00:41 +0000
Subject: [PATCH] Upload New File

---
 snippets/COORDINATE/Conditional_Coordination.mp | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 snippets/COORDINATE/Conditional_Coordination.mp

diff --git a/snippets/COORDINATE/Conditional_Coordination.mp b/snippets/COORDINATE/Conditional_Coordination.mp
new file mode 100644
index 0000000..d514aef
--- /dev/null
+++ b/snippets/COORDINATE/Conditional_Coordination.mp
@@ -0,0 +1,9 @@
+/*  Conditional coordination adding precedence relation
+    only if event B is present in a trace (MP Manual section 4.7)
+    ROOT R1: (A | B | C);
+    ROOT R2: D; */
+
+IF #B > 0 THEN
+    COORDINATE $x: B, $y: D
+        DO ADD $x PRECEDES $y; OD;
+FI;
-- 
GitLab