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

genem: fix previous patch

Browse source 
* spot/twaalgos/genem.cc: Do not use a temporary scc_and_mark_filter.
This commit is contained in:
Alexandre Duret-Lutz 2019-04-14 15:06:22 +02:00
parent 0623965b43
commit 4740adeb09
1 changed files with 5 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

7
spot/twaalgos/genem.cc
View file

@ -108,8 +108,11 @@ namespace spot
} }
return true; return true;
} }
scc_info si(scc_and_mark_filter(aut, aut_acc.fin_unit()), // Filter with fin_unit() right away if possible.
scc_info_options::STOP_ON_ACC); // scc_and_mark_filter will have no effect if fin_unit() is
// empty.
scc_and_mark_filter filt(aut, aut_acc.fin_unit());
scc_info si(filt, scc_info_options::STOP_ON_ACC);
const int accepting_scc = si.one_accepting_scc(); const int accepting_scc = si.one_accepting_scc();
if (accepting_scc >= 0) if (accepting_scc >= 0)