Upload New File

snippets/ENSURE/ENSURE_inequalities/Ensure_LessThanOrEqual.mp

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