Was this supposed to be a comment on 1517: Ballot comment #189 Array reduction methods used in constraints ? Shalom > -----Original Message----- > From: owner-sv-ec@server.eda.org > [mailto:owner-sv-ec@server.eda.org] On Behalf Of Arturo Salz > Sent: Monday, June 15, 2009 9:29 PM > To: Rich, Dave; sv-ec@eda.org > Subject: RE: [sv-ec] RE: 0001721: Ballot comment #188 order > used for find and find_index > > Write something like this: > arr.sum < 1000 ==> T'(a[0]+...) < 1000 > where T == $type(arr[i]) --------------------------------------------------------------------- Intel Israel (74) Limited This e-mail and any attachments may contain confidential material for the sole use of the intended recipient(s). Any review or distribution by others is strictly prohibited. If you are not the intended recipient, please contact the sender and delete all copies. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Mon Jun 15 21:22:43 2009
This archive was generated by hypermail 2.1.8 : Mon Jun 15 2009 - 21:23:51 PDT