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

toparity: take a const_twa_graph_ptr as input

Browse source 
* spot/twaalgos/toparity.hh (to_parity): Take a const TWA as input, as
in Spot 2.8.
* spot/twaalgos/toparity.cc: Adjust.
This commit is contained in:
Alexandre Duret-Lutz 2020-04-05 11:07:20 +02:00
parent 2b918d1c02
commit 682ec77b0b
2 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

6
spot/twaalgos/toparity.cc
View file

@ -1613,8 +1613,8 @@ to_parity_options options;
std::vector<std::string>* names; std::vector<std::string>* names;
}; // car_generator }; // car_generator
static twa_graph_ptr static const_twa_graph_ptr
remove_false_transitions(const twa_graph_ptr a) remove_false_transitions(const const_twa_graph_ptr& a)
{ {
// Do not do anything if the automaton has no false transition // Do not do anything if the automaton has no false transition
for (auto edge : a->edges()) for (auto edge : a->edges())
@ -1638,7 +1638,7 @@ std::vector<std::string>* names;
twa_graph_ptr twa_graph_ptr
to_parity(const twa_graph_ptr &aut, const to_parity_options options) to_parity(const const_twa_graph_ptr &aut, const to_parity_options options)
{ {
return car_generator(remove_false_transitions(aut), options).run(); return car_generator(remove_false_transitions(aut), options).run();
} }

2
spot/twaalgos/toparity.hh
View file

@ -74,7 +74,7 @@ namespace spot
/// The \a options argument can be used to selectively disable some of the /// The \a options argument can be used to selectively disable some of the
/// optimizations. /// optimizations.
SPOT_API twa_graph_ptr SPOT_API twa_graph_ptr
to_parity(const twa_graph_ptr &aut, to_parity(const const_twa_graph_ptr &aut,
const to_parity_options options = to_parity_options()); const to_parity_options options = to_parity_options());
/// \ingroup twa_acc_transform /// \ingroup twa_acc_transform