See F.3.4.3.2 Derived boolean operators ed From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of ben cohen Sent: Saturday, May 16, 2009 9:56 PM To: sv-ac@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. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Sun May 17 06:48:54 2009
This archive was generated by hypermail 2.1.8 : Sun May 17 2009 - 06:50:00 PDT