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

reduce_mealy_here: do not reduce when size is 1

Browse source 
* spot/twaalgos/mealy_machine.cc: here
This commit is contained in:
Florian Renkin 2024-05-17 13:13:59 +00:00 • committed by Philipp Schlehuber
parent c7c18db6db
commit 2274308cad
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
spot/twaalgos/mealy_machine.cc
View file

@ -800,6 +800,9 @@ namespace spot
{ {
ensure_mealy("reduce_mealy_here", mm); ensure_mealy("reduce_mealy_here", mm);
if (mm->num_states() == 1)
return;
// Only consider infinite runs // Only consider infinite runs
mm->purge_dead_states(); mm->purge_dead_states();