From db8a87dae3e6f9220b9980c1f8deda3706117f90 Mon Sep 17 00:00:00 2001 From: "Giammarco, Kristin M" <kmgiamma@nps.edu> Date: Fri, 23 Jul 2021 01:03:54 +0000 Subject: [PATCH] Upload New File --- .../ENSURE/ENSURE_inequalities/Ensure_LessThanOrEqual.mp | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 snippets/ENSURE/ENSURE_inequalities/Ensure_LessThanOrEqual.mp diff --git a/snippets/ENSURE/ENSURE_inequalities/Ensure_LessThanOrEqual.mp b/snippets/ENSURE/ENSURE_inequalities/Ensure_LessThanOrEqual.mp new file mode 100644 index 0000000..0574dcc --- /dev/null +++ b/snippets/ENSURE/ENSURE_inequalities/Ensure_LessThanOrEqual.mp @@ -0,0 +1,5 @@ +/* Ensure that the number of event A is less than or +equal to 3. Guarantees at most three instance of A. Change +3 to 2 to guarantee at most two instances of A. */ + +ENSURE #A <= 3; -- GitLab