From 2e8a67027fa2e40eb5519dca79cb7ce2562ffa1f Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 15 Aug 2017 14:44:31 +0200 Subject: [PATCH] hierarchy: avoid sbacc() * spot/tl/hierarchy.cc (is_recurrence): Do not request state-based acceptance, now that the Rabin->DBA conversionn works on transition-based acceptance as well. --- spot/tl/hierarchy.cc | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/spot/tl/hierarchy.cc b/spot/tl/hierarchy.cc index 0d010796d..4ed8e4506 100644 --- a/spot/tl/hierarchy.cc +++ b/spot/tl/hierarchy.cc @@ -41,8 +41,7 @@ namespace spot // BA will preserve determinism if possible. spot::postprocessor p; p.set_type(spot::postprocessor::Generic); - p.set_pref(spot::postprocessor::Deterministic - | spot::postprocessor::SBAcc); + p.set_pref(spot::postprocessor::Deterministic); p.set_level(spot::postprocessor::Low); auto dra = p.run(aut); if (dra->acc().is_generalized_buchi())