skip unneccessary loops in findCycle

1 files changed, 2 insertions, 2 deletions

diff --git a/cacount.cpp b/cacount.cpp
index f135936..7b59563 100644
--- a/cacount.cpp
+++ b/cacount.cpp
@@ -94,11 +94,11 @@ void init(Trans &t, Trans &c, pbitset &reachable) {
 
 void findCycle(Trans &t, Trans &c) {
   // forward to t=numState; now every state is in a cycle
-  iterTrans(logState, [&](State s) {
+  iterTransP(logState, [&](State s, bool &worked) {
       State n = t[s];
       t[s] = t[n];
       c[s] = min<State>(c[s], c[n]);
-      // TODO: detect if anything change, skip later rounds then
+      if (n != t[s]) worked = true;
     }, (string) "fwd time", true);
   // Transients may have a cycle id (minimum state) that is on the
   // transient (not in the cycle) and thus different from the cycle id