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

twacube: mark succ() as const

Browse source 
* spot/twacube/twacube.hh: Here.
This commit is contained in:
Antoine Martin 2020-03-22 23:19:52 +01:00 • committed by Etienne Renault
parent a14f63dd25
commit 0ad380ef12
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
spot/twacube/twacube.hh
View file

@ -67,7 +67,7 @@ namespace spot
typedef graph_t::edge_storage_t edge_storage_t; typedef graph_t::edge_storage_t edge_storage_t;
trans_index(trans_index& ci) = delete; trans_index(trans_index& ci) = delete;
trans_index(unsigned state, graph_t& g): trans_index(unsigned state, const graph_t& g):
st_(g.state_storage(state)) st_(g.state_storage(state))
{ {
reset(); reset();
@ -202,7 +202,7 @@ namespace spot
} }
///< \brief Returns the successor of state \a i. ///< \brief Returns the successor of state \a i.
std::shared_ptr<trans_index> succ(unsigned i) std::shared_ptr<trans_index> succ(unsigned i) const
{ {
return std::make_shared<trans_index>(i, theg_); return std::make_shared<trans_index>(i, theg_);
} }