Author: galvus_damor
Date: Thu May 31 20:52:30 2012
New Revision: 7685
URL: http://svn.gna.org/viewcvs/service-tech?rev=7685&view=rev
Log:
restart of exploration if all states have been visited
Modified:
branches/lola2/src/Exploration/Deadlock.cc
branches/lola2/src/Exploration/Deadlock.h
branches/lola2/src/Exploration/ParallelSimpleProperty.cc
branches/lola2/src/Exploration/ParallelSimpleProperty.h
branches/lola2/src/Exploration/SearchStack.cc
branches/lola2/src/Exploration/SearchStack.h
branches/lola2/src/Exploration/SimpleProperty.cc
branches/lola2/src/Exploration/SimpleProperty.h
branches/lola2/src/Net/NetState.cc
branches/lola2/src/Net/NetState.h
branches/lola2/src/Stores/ThreadSafeStore.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.
