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

From: Bresticker, Shalom <shalom.bresticker_at_.....>
Date: Mon Jun 15 2009 - 21:20:58 PDT
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