Commit 40ce79c7 authored by Denis Poitrenaud's avatar Denis Poitrenaud
Browse files

* src/tgbaalgos/gtec/gtec.cc: Adjust statistics count to match

how the algorithm will behave once remove_component() is revamped. From
Alexandre.
parent 311e1ba7
2005-01-27 Denis Poitrenaud <Denis.Poitrenaud@lip6.fr>
* src/tgbaalgos/gtec/gtec.cc: Adjust statistics count to match
how the algorithm will behave once remove_component() is revamped. From
Alexandre.
2005-01-27 Alexandre Duret-Lutz <adl@src.lip6.fr>
* src/tgbaalgos/gtec/ce.cc (couvreur99_check_result::accepting_cycle):
......
......@@ -465,7 +465,7 @@ namespace spot
}
prev->q.splice(prev->q.end(), last->q);
todo.pop_back();
dec_depth();
// dec_depth();
}
new_queue = &todo.back().q;
}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment