Author: hw138
Date: Mon Mar 15 15:11:03 2010
New Revision: 5516
URL: http://svn.gna.org/viewcvs/service-tech?rev=5516&view=rev
Log:
Allow weighted sums of places and transitions as constraints
in addition to the final marking.
Added:
trunk/sara/src/test15.owfn
trunk/sara/src/test15.sara
trunk/sara/src/test7_1.owfn
- copied unchanged from r5492, trunk/sara/src/test7-1.owfn
trunk/sara/src/test7_2.owfn
- copied unchanged from r5492, trunk/sara/src/test7-2.owfn
trunk/sara/src/test7_3.owfn
- copied unchanged from r5492, trunk/sara/src/test7-3.owfn
trunk/sara/src/test7_4.owfn
- copied unchanged from r5492, trunk/sara/src/test7-4.owfn
trunk/sara/src/test7_5.owfn
- copied unchanged from r5492, trunk/sara/src/test7-5.owfn
trunk/sara/src/test7_6.owfn
- copied unchanged from r5492, trunk/sara/src/test7-6.owfn
trunk/sara/src/test7_7.owfn
- copied unchanged from r5492, trunk/sara/src/test7-7.owfn
trunk/sara/src/test7_8.owfn
- copied unchanged from r5492, trunk/sara/src/test7-8.owfn
trunk/sara/src/test7_9.owfn
- copied unchanged from r5492, trunk/sara/src/test7-9.owfn
trunk/sara/src/test7_X.owfn
- copied unchanged from r5492, trunk/sara/src/test7-X.owfn
trunk/sara/src/test8_1.owfn
- copied unchanged from r5492, trunk/sara/src/test8-1.owfn
trunk/sara/src/test8_1.sara
- copied, changed from r5492, trunk/sara/src/test8-1.sara
trunk/sara/src/test8_2.owfn
- copied unchanged from r5492, trunk/sara/src/test8-2.owfn
trunk/sara/src/test8_2.sara
- copied, changed from r5492, trunk/sara/src/test8-2.sara
trunk/sara/src/test8_3.owfn
- copied unchanged from r5492, trunk/sara/src/test8-3.owfn
trunk/sara/src/test8_3.sara
- copied, changed from r5492, trunk/sara/src/test8-3.sara
trunk/sara/src/test8_4.owfn
- copied unchanged from r5492, trunk/sara/src/test8-4.owfn
trunk/sara/src/test8_4.sara
- copied, changed from r5492, trunk/sara/src/test8-4.sara
trunk/sara/src/test8_5.owfn
- copied unchanged from r5492, trunk/sara/src/test8-5.owfn
trunk/sara/src/test8_5.sara
- copied, changed from r5492, trunk/sara/src/test8-5.sara
trunk/sara/src/test8_6.owfn
- copied unchanged from r5492, trunk/sara/src/test8-6.owfn
trunk/sara/src/test8_6.sara
- copied, changed from r5492, trunk/sara/src/test8-6.sara
trunk/sara/src/test8_7.owfn
- copied unchanged from r5492, trunk/sara/src/test8-7.owfn
trunk/sara/src/test8_7.sara
- copied, changed from r5492, trunk/sara/src/test8-7.sara
trunk/sara/src/test8_8.owfn
- copied unchanged from r5492, trunk/sara/src/test8-8.owfn
trunk/sara/src/test8_8.sara
- copied, changed from r5492, trunk/sara/src/test8-8.sara
trunk/sara/src/test8_9.owfn
- copied unchanged from r5492, trunk/sara/src/test8-9.owfn
trunk/sara/src/test8_9.sara
- copied, changed from r5492, trunk/sara/src/test8-9.sara
trunk/sara/src/test8_X.owfn
- copied unchanged from r5492, trunk/sara/src/test8-X.owfn
trunk/sara/src/test8_X.sara
- copied, changed from r5492, trunk/sara/src/test8-X.sara
Removed:
trunk/sara/src/test7-1.owfn
trunk/sara/src/test7-2.owfn
trunk/sara/src/test7-3.owfn
trunk/sara/src/test7-4.owfn
trunk/sara/src/test7-5.owfn
trunk/sara/src/test7-6.owfn
trunk/sara/src/test7-7.owfn
trunk/sara/src/test7-8.owfn
trunk/sara/src/test7-9.owfn
trunk/sara/src/test7-X.owfn
trunk/sara/src/test8-1.owfn
trunk/sara/src/test8-1.sara
trunk/sara/src/test8-2.owfn
trunk/sara/src/test8-2.sara
trunk/sara/src/test8-3.owfn
trunk/sara/src/test8-3.sara
trunk/sara/src/test8-4.owfn
trunk/sara/src/test8-4.sara
trunk/sara/src/test8-5.owfn
trunk/sara/src/test8-5.sara
trunk/sara/src/test8-6.owfn
trunk/sara/src/test8-6.sara
trunk/sara/src/test8-7.owfn
trunk/sara/src/test8-7.sara
trunk/sara/src/test8-8.owfn
trunk/sara/src/test8-8.sara
trunk/sara/src/test8-9.owfn
trunk/sara/src/test8-9.sara
trunk/sara/src/test8-X.owfn
trunk/sara/src/test8-X.sara
Modified:
trunk/sara/src/cmdline.ggo
trunk/sara/src/lexic_sara.ll
trunk/sara/src/lpwrapper.cc
trunk/sara/src/lpwrapper.h
trunk/sara/src/main.cc
trunk/sara/src/problem.cc
trunk/sara/src/problem.h
trunk/sara/src/reachalyzer.cc
trunk/sara/src/reachalyzer.h
trunk/sara/src/syntax_sara.yy
trunk/sara/src/test7.sara
trunk/sara/src/test8.sara
--
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.
