Hi Ben, please elaborate, what is ambiguous? implies and iff are property operators, and can be derived from the and, or, not property operators (see annex F) Doron ________________________________ From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On Behalf Of ben cohen Sent: Sunday, May 17, 2009 4:56 AM To: sv-ac@server.eda.org Subject: [sv-ac] P1800-2009 : restrictions on the use of the property "iff" and "implies" operators What are the restrictions on the use of the property "iff" and "implies" operators with regards to start and end time? Are they the same as the property and, or property operators? LRM is ambiguous on that point. Ben Cohen -- This message has been scanned for viruses and dangerous content by MailScanner<http://www.mailscanner.info/>, and is believed to be clean. --------------------------------------------------------------------- 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 Sat May 16 21:49:58 2009
This archive was generated by hypermail 2.1.8 : Sat May 16 2009 - 21:50:55 PDT