I was wrong 1. The proposal states that the sampled value is used, and that triggered can be used. So does that mean that "accept_on (triggered(seqA)" is actually interpreted as "accept_on $sampled(triggered(seqA))" [DB] I think that the answer should be yes. Note that if the sequence match on the same timestep where the evaluation of the underline property finish, the triggered will still take precedence. The problem is that currently the value of $triggered does not propagate to the next timestep. : This is not true, if we will wait for the next time step the property evaluation may precede the reset even if they happen at the same time. I am not sure what to do with it. Doron -- 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 Mon Sep 24 01:20:55 2007
This archive was generated by hypermail 2.1.8 : Mon Sep 24 2007 - 01:21:02 PDT