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

remove a useless exception

Browse source 
* spot/twaalgos/split.cc: split_2step does work with any acceptance
  condition
* spot/twaalgos/split.hh: typo
This commit is contained in:
Maximilien Colange 2018-05-04 18:12:30 +02:00
parent 26f5e93e90
commit 13c227a099
2 changed files with 1 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

2
spot/twaalgos/split.cc
View file

@ -28,8 +28,6 @@ namespace spot
twa_graph_ptr
split_2step(const const_twa_graph_ptr& aut, bdd input_bdd)
{
if (!aut->acc().is_generalized_buchi())
throw std::runtime_error("2step_split only works on TGBA");
auto split = make_twa_graph(aut->get_dict());
split->copy_ap_of(aut);
split->copy_acceptance_of(aut);

2
spot/twaalgos/split.hh
View file

@ -48,7 +48,7 @@ namespace spot
SPOT_API twa_graph_ptr
split_2step(const const_twa_graph_ptr& aut, bdd input_bdd);
/// \brief the reverse of 2step_split
/// \brief the reverse of split_2step
SPOT_API twa_graph_ptr
unsplit_2step(const const_twa_graph_ptr& aut);
}