Author: hw138
Date: Thu Mar 25 13:29:31 2010
New Revision: 5551
URL: http://svn.gna.org/viewcvs/service-tech?rev=5551&view=rev
Log:
+ dump problem info on screen with --verbose
+ realizability of transition vectors: in case of non-realizability, suggest
shorter solutions leading to the same marking or find the spots where the
sequence cannot be prolonged.
Modified:
trunk/sara/src/imatrix.cc
trunk/sara/src/imatrix.h
trunk/sara/src/main.cc
trunk/sara/src/pathfinder.cc
trunk/sara/src/pathfinder.h
trunk/sara/src/problem.cc
trunk/sara/src/problem.h
trunk/sara/src/reachalyzer.cc
trunk/sara/src/reachalyzer.h
trunk/sara/src/test14.sara
trunk/sara/tests/testfiles/test14.sara
trunk/sara/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.
