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

to_parity: minor fixes

Browse source 
* spot/twaalgos/toparity.cc: Do not call prpagate_marks_here twice if
the automaton was not degeneralized.
* spot/twaalgos/toparity.hh: Typo in comment.
This commit is contained in:
Alexandre Duret-Lutz 2020-07-29 14:43:55 +02:00
parent 9e6a99dcac
commit fde9a303c4
2 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
spot/twaalgos/toparity.cc
View file

@ -1583,7 +1583,8 @@ run()
if (options.propagate_col)
{
propagate_marks_here(sub_automaton);
propagate_marks_here(deg);
if (deg != sub_automaton)
propagate_marks_here(deg);
}
std::map<unsigned, car_state> state2car_sub, state2car_deg;

2
spot/twaalgos/toparity.hh
View file

@ -49,7 +49,7 @@ namespace spot
/// get a better result if we don't apply partial_degeneralize.
bool force_degen = true;
/// If \c scc_acc_clean is true, to_parity() will ignore colors
/// no occoring in an SCC while processing this SCC.
/// not occurring in an SCC while processing this SCC.
bool acc_clean = true;
/// If \c parity_equiv is true, to_parity() will check if there
/// exists a permutations of colors such that the acceptance