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

to_parity: Use merge_states

Browse source 
* spot/twaalgos/toparity.cc: Use merge_states at the end
of to_parity.
* tests/python/toparity.py: Update tests.
This commit is contained in:
Florian Renkin 2020-04-15 11:15:27 +02:00
parent 875846f51f
commit 8c48003943
2 changed files with 5 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

1
spot/twaalgos/toparity.cc
View file

@ -1684,6 +1684,7 @@ run()
res_->set_named_prop("state-names", names);
reduce_parity_here(res_);
res_->purge_unreachable_states();
res_->merge_states();
return res_;
}