diff --git a/snippets/ENSURE/ENSURE_inequalities/Ensure_GreaterThan1.mp b/snippets/ENSURE/ENSURE_inequalities/Ensure_GreaterThan1.mp new file mode 100644 index 0000000000000000000000000000000000000000..ef02ccdd90352d084d7519a3bac5ca993fb1f225 --- /dev/null +++ b/snippets/ENSURE/ENSURE_inequalities/Ensure_GreaterThan1.mp @@ -0,0 +1,5 @@ +/* Ensure that the number of event A is greater than 1. + Guarantees at least two instances of A. Change 1 to 2 + to guarantee at least three instances of A. */ + +ENSURE #A > 1;