Commit 6d3d3d1b authored by Antoine Martin's avatar Antoine Martin

twacube: mark succ() as const

* spot/twacube/twacube.hh: Here.
parent b1ee6c87
......@@ -67,7 +67,7 @@ namespace spot
typedef graph_t::edge_storage_t edge_storage_t;
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))
{
reset();
......@@ -202,7 +202,7 @@ namespace spot
}
///< \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_);
}
......
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