From 42bc594193eac8f6db0b982267c30d99b08720b9 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 24 Jan 2005 15:25:56 +0000 Subject: [PATCH] * src/tgbaalgos/gtec/gtec.cc: Fake statistics count to match how the algorithm will behave once remove_component() is revamped. --- ChangeLog | 3 +++ src/tgbaalgos/gtec/gtec.cc | 14 +++++++++----- 2 files changed, 12 insertions(+), 5 deletions(-) diff --git a/ChangeLog b/ChangeLog index 137618740..9ddc68a96 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,8 @@ 2005-01-24 Alexandre Duret-Lutz + * src/tgbaalgos/gtec/gtec.cc: Fake statistics count to match + how the algorithm will behave once remove_component() is revamped. + * src/tgbaalgos/emptiness_stats.hh (ars_statistics): Distinguish states visited to compute the prefix and those for the cycle. * src/tgbaalgos/gv04.cc, src/tgbaalgos/ndfs_result.hxx, diff --git a/src/tgbaalgos/gtec/gtec.cc b/src/tgbaalgos/gtec/gtec.cc index 5cfad5f96..e3d573894 100644 --- a/src/tgbaalgos/gtec/gtec.cc +++ b/src/tgbaalgos/gtec/gtec.cc @@ -57,6 +57,7 @@ namespace spot assert(spi.first == from); assert(*spi.second != -1); *spi.second = -1; + dec_depth(); // FIXME: check once remove_component() is revamped. tgba_succ_iterator* i = ecs_->aut->succ_iter(from); for (;;) @@ -64,7 +65,7 @@ namespace spot // Remove each destination of this iterator. for (i->first(); !i->done(); i->next()) { - inc_transitions(); + // FIXME: inc_transitions(); state* s = i->current_state(); numbered_state_heap::state_index_p spi = ecs_->h->index(s); @@ -80,6 +81,7 @@ namespace spot if (*spi.second != -1) { *spi.second = -1; + dec_depth(); // FIXME: check after revamping. to_remove.push(ecs_->aut->succ_iter(spi.first)); } } @@ -137,7 +139,7 @@ namespace spot // Backtrack TODO. todo.pop(); - dec_depth(); + // FIXME: dec_depth(); // When backtracking the root of an SCC, we must also // remove that SCC from the ARC/ROOT stacks. We must @@ -295,7 +297,8 @@ namespace spot dec_depth(todo.back().q.size() + 1); todo.pop_back(); } - assert(depth() == 0); + // FIXME: enable after revamping remove_component(). + // assert(depth() == 0); } emptiness_check_result* @@ -317,12 +320,13 @@ namespace spot int index = todo.back().n; // Backtrack TODO. todo.pop_back(); - dec_depth(); + // FIXME: dec_depth(); if (todo.empty()) { // This automaton recognizes no word. set_states(ecs_->states()); - assert(depth() == 0); + // FIXME: enable after revamping remove_component(). + // assert(depth() == 0); return 0; }