From fc4f4f728849bf8d09a313afd36293e5145581cb Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 25 May 2005 09:00:19 +0000 Subject: [PATCH] * src/tgbaalgos/reductgba_sim_del.cc (parity_game_graph_delayed::nb_set_acc_cond): Simplify. --- ChangeLog | 3 +++ src/tgbaalgos/reductgba_sim_del.cc | 11 +---------- 2 files changed, 4 insertions(+), 10 deletions(-) diff --git a/ChangeLog b/ChangeLog index a0e459691..7dc7d4dab 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,8 @@ 2005-05-25 Alexandre Duret-Lutz + * src/tgbaalgos/reductgba_sim_del.cc + (parity_game_graph_delayed::nb_set_acc_cond): Simplify. + * sanity/style.test: Catch misuses of Sgi::. * tgba/tgbareduc.hh, tgbaalgos/reductgba_sim.cc, tgbaalgos/reductgba_sim.hh, tgbaalgos/reductgba_sim_del.cc: Fix them. diff --git a/src/tgbaalgos/reductgba_sim_del.cc b/src/tgbaalgos/reductgba_sim_del.cc index 3e653ce8a..3890ca387 100644 --- a/src/tgbaalgos/reductgba_sim_del.cc +++ b/src/tgbaalgos/reductgba_sim_del.cc @@ -341,16 +341,7 @@ namespace spot int parity_game_graph_delayed::nb_set_acc_cond() { - bdd acc, all; - acc = all = automata_->all_acceptance_conditions(); - int count = 0; - while (all != bddfalse) - { - sub_set_acc_cond_.push_back(bdd_satone(all)); - all -= bdd_satone(all); - ++count; - } - return count; + return automata_->number_of_acceptance_conditions(); } // We build only node which are reachable