Commit 5f7daeef authored by Antoine Martin's avatar Antoine Martin Committed by Etienne Renault
Browse files

twacube: mark succ() as const

* spot/twacube/twacube.hh: Here.
parent f9ec6b76
...@@ -67,7 +67,7 @@ namespace spot ...@@ -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 ...@@ -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_);
} }
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment