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

twacube: mark get_initial method as const

* spot/twacube/twacube.hh,spot/twacube/twacube.cc: Here.
parent 5f7daeef
...@@ -81,10 +81,10 @@ namespace spot ...@@ -81,10 +81,10 @@ namespace spot
init_ = init; init_ = init;
} }
unsigned twacube::get_initial() unsigned twacube::get_initial() const
{ {
if (theg_.num_states() == 0) if (theg_.num_states() == 0)
new_state(); throw std::runtime_error("automaton has no state at all");
return init_; return init_;
} }
......
...@@ -148,7 +148,7 @@ namespace spot ...@@ -148,7 +148,7 @@ namespace spot
void set_initial(unsigned init); void set_initial(unsigned init);
/// \brief Returns the id of the initial state in the automaton. /// \brief Returns the id of the initial state in the automaton.
unsigned get_initial(); unsigned get_initial() const;
/// \brief Accessor for a state from its id. /// \brief Accessor for a state from its id.
cstate* state_from_int(unsigned i); cstate* state_from_int(unsigned i);
......
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