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

Remove redundant Fin and Inf with simplify_acceptance

Browse source 
* spot/twa/acc.hh: Add simplification like
Fin(0)|(Inf(0) & Fin(1)) to Fin(0)|Fin(1).
* spot/twaalgos/cleanacc.cc: Use this simplification.
This commit is contained in:
Florian Renkin 2020-04-02 18:50:09 +02:00 • committed by Alexandre Duret-Lutz
parent 502778f83f
commit 37897e89e8
2 changed files with 87 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
spot/twaalgos/cleanacc.cc
View file

@ -619,6 +619,7 @@ namespace spot
simplify_complementary_marks_here(aut);
fuse_marks_here(aut);
}
aut->set_acceptance(aut->acc().propagate_fin_inf());
cleanup_acceptance_here(aut, true);
return aut;
}