Author: gierds Date: Fri Mar 27 14:48:47 2009 New Revision: 4031 URL: http://svn.gna.org/viewcvs/service-tech?rev=4031&view=rev Log: * calculation of annotation regarding synchronous events was wrong, now corrected (for every deadlock that could be resolved by a synchronous event, add the appropriate literal to the clause)
(see task #6166 <https://gna.org/task/?6166>) Modified: branches/synchronous_controllability/fiona/src/OG.cc -- 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.
