Yes. It was an example used during the discussion of 1517 during the conference call. We eventually went wit an added sentence rather than modifying the example. > -----Original Message----- > From: owner-sv-ec@server.eda.org [mailto:owner-sv-ec@server.eda.org] On > Behalf Of Bresticker, Shalom > Sent: Monday, June 15, 2009 9:21 PM > To: Arturo Salz; sv-ec@eda.org > Subject: RE: [sv-ec] RE: 0001721: Ballot comment #188 order used for find > and find_index > > 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. > -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Mon Jun 15 22:23:29 2009
This archive was generated by hypermail 2.1.8 : Mon Jun 15 2009 - 22:24:22 PDT