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

degen: remove two useless casts

Browse source 
* src/tgbaalgos/degen.cc: Here.
This commit is contained in:
Alexandre Duret-Lutz 2015-01-09 22:22:28 +01:00
parent 4f6f71fe39
commit b2c2411bcc
1 changed files with 2 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/tgbaalgos/degen.cc
View file

@ -552,8 +552,7 @@ namespace spot
// If this already a degeneralized digraph, there is nothing we
// can improve.
if (a->is_sba())
if (auto d = std::dynamic_pointer_cast<const tgba_digraph>(a))
return std::const_pointer_cast<tgba_digraph>(d);
return std::const_pointer_cast<tgba_digraph>(a);
return degeneralize_aux<true>(a, use_z_lvl, use_cust_acc_orders,
use_lvl_cache, skip_levels);
@ -567,8 +566,7 @@ namespace spot
// If this already a degeneralized digraph, there is nothing we
// can improve.
if (a->has_single_acc_set())
if (auto d = std::dynamic_pointer_cast<const tgba_digraph>(a))
return std::const_pointer_cast<tgba_digraph>(d);
return std::const_pointer_cast<tgba_digraph>(a);
return degeneralize_aux<false>(a, use_z_lvl, use_cust_acc_orders,
use_lvl_cache, skip_levels);