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

Fix: Remove SBAcc option in bin/ltlfilt

Browse source 
* bin/ltlfilt.cc: Remove SBAcc option as rabin_to_buchi_maybe() works
with transition-based acceptance as well.
This commit is contained in:
Alexandre GBAGUIDI AISSE 2017-09-19 14:47:31 +01:00 • committed by Alexandre Duret-Lutz
parent c704c3b019
commit 697c94605f
1 changed files with 1 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
bin/ltlfilt.cc
View file

@ -751,8 +751,7 @@ namespace
// BA will preserve determinism if possible. // BA will preserve determinism if possible.
spot::postprocessor p; spot::postprocessor p;
p.set_type(spot::postprocessor::Generic); p.set_type(spot::postprocessor::Generic);
p.set_pref(spot::postprocessor::Deterministic p.set_pref(spot::postprocessor::Deterministic);
| spot::postprocessor::SBAcc);
p.set_level(spot::postprocessor::Low); p.set_level(spot::postprocessor::Low);
auto dra = p.run(aut); auto dra = p.run(aut);
if (dra->acc().is_generalized_buchi()) if (dra->acc().is_generalized_buchi())