From 5c39063588334b4c93d152cc53bce8cd1031abc6 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 16 Feb 2018 16:38:05 +0100 Subject: [PATCH] simplify_acceptance: remove one useless call * spot/twaalgos/cleanacc.cc (merge_identical_marks_here): Do not call cleanup_acceptance_here(), as this has already been done. --- spot/twaalgos/cleanacc.cc | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/spot/twaalgos/cleanacc.cc b/spot/twaalgos/cleanacc.cc index 62082a6fd..74d4c5692 100644 --- a/spot/twaalgos/cleanacc.cc +++ b/spot/twaalgos/cleanacc.cc @@ -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();