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

* src/tgbaalgos/hoa.cc: Use is_buchi() and is_true().

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2015-02-25 22:40:03 +01:00
parent 5b2c7b55ed
commit da2ccdb2ed
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/tgbaalgos/hoa.cc
View file

@ -254,9 +254,9 @@ namespace spot
unsigned num_acc = aut->acc().num_sets(); unsigned num_acc = aut->acc().num_sets();
if (aut->acc().is_generalized_buchi()) if (aut->acc().is_generalized_buchi())
{ {
if (num_acc == 0) if (aut->acc().is_true())
os << "acc-name: all"; os << "acc-name: all";
else if (num_acc == 1) else if (aut->acc().is_buchi())
os << "acc-name: Buchi"; os << "acc-name: Buchi";
else else
os << "acc-name: generalized-Buchi " << num_acc; os << "acc-name: generalized-Buchi " << num_acc;