Upload New File

snippets/ENSURE/ENSURE_inequalities/Ensure_LessThan.mp

+/* 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;