Author: fahland
Date: Mon May 31 23:58:58 2010
New Revision: 5787
URL: http://svn.gna.org/viewcvs/service-tech?rev=5787&view=rev
Log:
+ implemented lexicographic search strategy
+ added hashed information about reached markings and prime configuration size
to events
* refactored algorithms to reduce the number of mergeSort calls and comparisons
performance improvement by factor 5
Modified:
trunk/Service-Tech-Java/uma/src/hub/top/uma/DNodeBP.java
trunk/Service-Tech-Java/uma/src/hub/top/uma/DNodeCutGenerator.java
trunk/Service-Tech-Java/uma/src/hub/top/uma/DNodeSet.java
--
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.
