RE: [sv-ec] RE: 0001721: Ballot comment #188 order used for find and find_index

From: Rich, Dave <Dave_Rich_at_.....>
Date: Mon Jun 15 2009 - 22:19:16 PDT
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