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

propagate: fix constness of scc_info argument

Browse source 
* spot/twaalgos/degen.cc,
spot/twaalgos/degen.hh (propagate_marks_vector, propagate_marks_here):
Take the scc_info* argument as const.
This commit is contained in:
Alexandre Duret-Lutz 2020-12-14 13:11:59 +01:00
parent 20e52cf7a5
commit b073e70880
2 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

4
spot/twaalgos/degen.cc
View file

@ -1100,7 +1100,7 @@ namespace spot
std::vector<acc_cond::mark_t> std::vector<acc_cond::mark_t>
propagate_marks_vector(const const_twa_graph_ptr& aut, propagate_marks_vector(const const_twa_graph_ptr& aut,
scc_info* si) const scc_info* si)
{ {
bool own_si = true; bool own_si = true;
if (si) if (si)
@ -1150,7 +1150,7 @@ namespace spot
return marks; return marks;
} }
void propagate_marks_here(twa_graph_ptr& aut, scc_info* si) void propagate_marks_here(twa_graph_ptr& aut, const scc_info* si)
{ {
auto marks = propagate_marks_vector(aut, si); auto marks = propagate_marks_vector(aut, si);
for (auto& e: aut->edges()) for (auto& e: aut->edges())

4
spot/twaalgos/degen.hh
View file

@ -172,10 +172,10 @@ namespace spot
/// @{ /// @{
SPOT_API std::vector<acc_cond::mark_t> SPOT_API std::vector<acc_cond::mark_t>
propagate_marks_vector(const const_twa_graph_ptr& aut, propagate_marks_vector(const const_twa_graph_ptr& aut,
scc_info* si = nullptr); const scc_info* si = nullptr);
SPOT_API void SPOT_API void
propagate_marks_here(twa_graph_ptr& aut, propagate_marks_here(twa_graph_ptr& aut,
scc_info* si = nullptr); const scc_info* si = nullptr);
/// @} /// @}
} }