Author: weinberg
Date: Thu Aug 14 13:00:32 2008
New Revision: 3247
URL: http://svn.gna.org/viewcvs/service-tech?rev=3247&view=rev
Log:
+ (T)SCC Erkennung bei Berechnung des Erreichbarkeitsgraphen eines Zustandes
innerhalb eines Knotens
- dazu gibt es ein #define TSCC in der userconfig.h - wenn man das
abschaltet, wird alles wie immer berechnet
+ ein Beispielnetz cgvExample.owfn im Ordner tscc, die Knoten dieses Netzes
haben mehrere SCCs und TSCCs (der zugrundeliegende Erreichbarkeitsgraph ist in
etwa der aus Karstens VL CGV Folie 78)
Added:
trunk/fiona/netze/tscc/
trunk/fiona/netze/tscc/cgvExample.owfn
Modified:
trunk/fiona/src/CommunicationGraph.cc
trunk/fiona/src/owfn.cc
trunk/fiona/src/owfn.h
trunk/fiona/src/state.cc
trunk/fiona/src/state.h
trunk/fiona/src/userconfig.h
--
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.
