Subject: [sv-ec] 'priority' not defined in a solve-before constraint
From: Ryan, Ray (Ray_Ryan@mentorg.com)
Date: Tue Nov 25 2003 - 11:08:50 PST
In Ext-14 (page 2), the BNF for a constraint block is:
constraint_block ::=
solve [ priority ] identifier_list before identifier_list ;
| constraint_expression
The optional "priority" keyword is added in Ext-14, but there is
no decription of this option.
- Ray
This archive was generated by hypermail 2b28 : Tue Nov 25 2003 - 11:10:30 PST