[sv-ec] FW: soft constraints

A couple minor items:

1) Probably should clarify that if a 'soft' constraint is discarded, the entire constraint is discarded. Given "soft (x == 3) && (y == 3)", the higher priority constraint "x != 3" will discard the entire soft constraint - thus not requiring y to be 3.

2) The constraint, "if (cond) {soft x == 3; soft y == 3; z == 5}" is equivalent to "if (cond) {soft x == 3}; if (cond) {soft y == 3}; if (cond) {z == 5};". In this case either or both of the constraints on x or y may be discarded, while the constraint on z cannot be discarded.

3) "soft" needs to be added to Table B.1 - Reserved keywords.

4) In the grammar due to the additional usage, I like to see term "solve_ before_primary" changed to "random_variable_primary".

5) Does a higher priority soft dist discard the 'reset' part of a lower priority soft dist? EG.
       Constraint c1 {
soft x == 5;
soft y == 4;
soft dist x+y { [0:10] };
soft dist x;
                              }
                              Is the constraint on y discarded?

               Ray

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.