alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Remove useless comments in toparity

Browse source 
* spot/twaalgos/toparity.cc: Remove useless comments.
This commit is contained in:
Florian Renkin 2020-03-24 16:09:26 +01:00
parent 75990063f0
commit d112fca0e4
1 changed files with 1 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

7
spot/twaalgos/toparity.cc
View file

@ -695,18 +695,14 @@ group_to_vector_iar(const std::set<std::vector<unsigned>>& group)
return result; return result;
} }
// Créé les groupes à partir d'un ensemble de mark_t
std::map<acc_cond::mark_t, std::vector<unsigned>> std::map<acc_cond::mark_t, std::vector<unsigned>>
get_groups(const std::set<acc_cond::mark_t>& marks_input) get_groups(const std::set<acc_cond::mark_t>& marks_input)
{ {
std::map<acc_cond::mark_t, std::vector<unsigned>> result; std::map<acc_cond::mark_t, std::vector<unsigned>> result;
std::vector<std::set<acc_cond::mark_t>> groups; std::vector<std::set<acc_cond::mark_t>> groups;
// Pour toutes les mark_t à traiter
for (acc_cond::mark_t mark : marks_input) 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; bool added = false;
for (unsigned group = 0; group < groups.size(); ++group) for (unsigned group = 0; group < groups.size(); ++group)
{ {
@ -772,7 +768,6 @@ get_groups_iar(const std::set<std::vector<unsigned>>& marks_input)
return result; return result;
} }
// Donne pour chaque état l'ensemble des combinaisons entre mark et vector
std::vector<std::map<acc_cond::mark_t, std::vector<unsigned>>> std::vector<std::map<acc_cond::mark_t, std::vector<unsigned>>>
get_mark_to_vector(const twa_graph_ptr& aut) 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(); lar_state current = todo.front();
todo.pop_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 src_num = get_state(current);
unsigned source_scc = si.scc_of(current.state); unsigned source_scc = si.scc_of(current.state);