Author: weinberg
Date: Wed Aug 12 20:43:08 2009
New Revision: 4560
URL: http://svn.gna.org/viewcvs/service-tech?rev=4560&view=rev
Log:
+ implemented two reduction rules
1) sequentializing receiving events: similar to combining receiving events
defined for the IG (parameter: seqReceivingEvents); receiving events are
executed sequentially rather than combined
2) succeeding sending event: once a sending event has led from the current
knowledge to a good successor knowledge, we do not consider any other sending
event leaving the current knowledge (parameter: succeedingSendingEvent)
+ added test cases for each reduction rule
+ corrected some misspelled words within comments ;-)
Added:
trunk/wendy/tests/testfiles/seqTest1.owfn
trunk/wendy/tests/testfiles/seqTest2.owfn
trunk/wendy/tests/testfiles/seqTest3.owfn
trunk/wendy/tests/testfiles/sequence20.owfn
Modified:
trunk/wendy/src/InterfaceMarking.h
trunk/wendy/src/Knowledge.cc
trunk/wendy/src/Knowledge.h
trunk/wendy/src/StoredKnowledge.cc
trunk/wendy/src/StoredKnowledge.h
trunk/wendy/src/cmdline.ggo
trunk/wendy/tests/Makefile.am
trunk/wendy/tests/testsuite.at
--
You received this e-mail, because you subscribed the mailing list
"service-tech-commits" which will forward you any e-mail addressed to
[email protected]. If you want to unsubscribe or make any changes to
your subscription, please go to
https://mail.gna.org/listinfo/service-tech-commits.
