No subject

Tue Aug 26 11:26:24 EDT 2008

cardmin/max occurrence is optional, then one just has to test whether
it exists:

         $this / cardmin & count (whatever) < $this / cardmin # this is a violation
       & $this / cardmax & count (whatever) > $this / cardmax # this is bad too

How CTM deals with non-existing things at invocation time, is a
different matter.


More information about the sc34wg3 mailing list