[sv-ec] Soft Constraints #2987

At a top conceptual level:

Is it intended to allow 'soft' constraints within conditional contexts (if-then-else or implication)?

I believe the proposed grammar does allow (ignoring for now syntax precedence issues).
        constraint C1 {
                if ( condition ) {
                        a < b soft;
                } else {
                        a < b;
                }
        }

The grammar seems to NOT allow specifying a soft if-then-else constraint or a soft implication constraint.
That is the 'soft' qualifier can't be applied to "expr1 -> expr2;" or "if (exp1) { exp2 } else {expr3}".

A question for the Users: what kinds of constraints would you want to be able to specify as 'soft' ?

Regards,
Ray

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