diff --git a/spot/twaalgos/toparity.cc b/spot/twaalgos/toparity.cc index 12f152819..2bd5b6f94 100644 --- a/spot/twaalgos/toparity.cc +++ b/spot/twaalgos/toparity.cc @@ -695,18 +695,14 @@ group_to_vector_iar(const std::set>& group) return result; } -// Créé les groupes à partir d'un ensemble de mark_t std::map> get_groups(const std::set& marks_input) { std::map> result; std::vector> groups; - // Pour toutes les mark_t à traiter for (acc_cond::mark_t mark : marks_input) { - // added teste si la mark peut être ajoutée à un group déjà - // existant. bool added = false; for (unsigned group = 0; group < groups.size(); ++group) { @@ -772,7 +768,6 @@ get_groups_iar(const std::set>& marks_input) return result; } -// Donne pour chaque état l'ensemble des combinaisons entre mark et vector std::vector>> get_mark_to_vector(const twa_graph_ptr& aut) { @@ -1709,7 +1704,7 @@ to_parity(const twa_graph_ptr &aut, const car_option options) lar_state current = todo.front(); todo.pop_front(); - // TODO todo could store this number to avoid one lookup + // TODO: todo could store this number to avoid one lookup unsigned src_num = get_state(current); unsigned source_scc = si.scc_of(current.state);