Author: fahland
Date: Mon Dec 22 21:01:53 2008
New Revision: 3684
URL: http://svn.gna.org/viewcvs/service-tech?rev=3684&view=rev
Log:
+ fixed some bugs in the algorithm for checking the equivalence of states/cuts
+ fixed bugs in the algorithm for detecting cuts (some conflicts were not
detected
leading to the construction of nets with backwards conflicts)
+ included "memory-intensive" storage of concurrency relation for the branching
process construction to speed up the identification of cuts
+ construction of state-space/branching process is now encapsulated in an
Eclipse job allowing concurrent use of Eclipse/Greta during the
calculation (preferably on a machine with 2 or more cores)
Added:
trunk/greta/hub.top.greta.run/src/hub/top/greta/oclets/canonical/GraphNode.java
Modified:
trunk/greta/hub.top.greta.run/ChangeLog
trunk/greta/hub.top.greta.run/src/hub/top/greta/oclets/canonical/CNode.java
trunk/greta/hub.top.greta.run/src/hub/top/greta/oclets/canonical/CNodeCutGenerator.java
trunk/greta/hub.top.greta.run/src/hub/top/greta/oclets/canonical/CNodeSet.java
trunk/greta/hub.top.greta.run/src/hub/top/greta/oclets/ts/AdaptiveSystemBP.java
trunk/greta/hub.top.greta.run/src/hub/top/greta/oclets/ts/AdaptiveSystemTS.java
trunk/greta/hub.top.greta.run/src/hub/top/greta/run/actions/BuildBranchingProcess.java
trunk/greta/hub.top.greta.run/src/hub/top/greta/run/actions/BuildStateSpace.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.
