Author: al020
Date: Sun Feb 8 12:35:07 2009
New Revision: 3843
URL: http://svn.gna.org/viewcvs/service-tech?rev=3843&view=rev
Log:
* W2FContainer:
* module size check added
* CartesianProduct redesigned in order to build "full" global states
* FPDContainer:
* module size check added
* Deadlock recognition added (as message to cout)
* SyncGrapNode
* backEdges added
* addEdge, findEdge are now dealing with forward and backward edges
* updateStatus added
* updateBackEdgesStatus added
* getUnseenfEdge added
* SyncGraph
* nextState added
Modified:
branches/lola-modular/lola/src/BinTree.cc
branches/lola-modular/lola/src/FPDContainer.cc
branches/lola-modular/lola/src/FPDContainer_Test.cpp
branches/lola-modular/lola/src/SyncGraph.H
branches/lola-modular/lola/src/SyncGraph.cc
branches/lola-modular/lola/src/SyncGraphNode.H
branches/lola-modular/lola/src/SyncGraphNode.cc
branches/lola-modular/lola/src/SyncGraph_Test.cpp
branches/lola-modular/lola/src/W2FContainer.cc
branches/lola-modular/lola/src/W2FContainer_Test.cpp
--
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.
