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

simplify_acceptance: remove one useless call

Browse source 
* spot/twaalgos/cleanacc.cc (merge_identical_marks_here): Do not call
cleanup_acceptance_here(), as this has already been done.
This commit is contained in:
Alexandre Duret-Lutz 2018-02-16 16:38:05 +01:00
parent 5a2e4f54c5
commit 5c39063588
1 changed files with 4 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

9
spot/twaalgos/cleanacc.cc
View file

@ -69,17 +69,16 @@ namespace spot
twa_graph_ptr cleanup_acceptance(const_twa_graph_ptr aut)
{
return cleanup_acceptance_here(make_twa_graph(aut,
twa::prop_set::all()));
return cleanup_acceptance_here(make_twa_graph(aut, twa::prop_set::all()));
}
namespace
{
twa_graph_ptr merge_identical_marks_here(twa_graph_ptr aut)
{
// always cleanup before proceeding, otherwise if some mark appears in the
// acceptance condition, but not in the automaton the result is undefined.
cleanup_acceptance_here(aut, false);
// /!\ This assumes that the acceptance condition has been
// cleaned up first. If some mark appears in the acceptance
// condition but not in the automaton, the result is undefined.
auto& acc = aut->acc();
auto& c = acc.get_acceptance();