diff --git a/snippets/ENSURE/ENSURE_inequalities/Ensure_LessThan.mp b/snippets/ENSURE/ENSURE_inequalities/Ensure_LessThan.mp new file mode 100644 index 0000000000000000000000000000000000000000..a8e7fae447bd401b389197effc0440494d7ea35e --- /dev/null +++ b/snippets/ENSURE/ENSURE_inequalities/Ensure_LessThan.mp @@ -0,0 +1,5 @@ +/* Ensure that the number of event A is less than 3. + Guarantees at most two instances of A. Change 3 to 2 + to guarantee at most one instance of A. */ + +ENSURE #A < 3;