twacube: mark get_ap method as const

* spot/twacube/twacube.hh,spot/twacube/twacube.cc: Here.
This commit is contained in:
Antoine Martin 2020-03-10 18:28:08 +01:00 committed by Etienne Renault
parent f8448fad89
commit 49a3cf1148
2 changed files with 2 additions and 2 deletions

View file

@ -66,7 +66,7 @@ namespace spot
return acc_; return acc_;
} }
std::vector<std::string> twacube::get_ap() std::vector<std::string> twacube::get_ap() const
{ {
return aps_; return aps_;
} }

View file

@ -139,7 +139,7 @@ namespace spot
acc_cond& acc(); acc_cond& acc();
/// \brief Returns the names of the atomic properties. /// \brief Returns the names of the atomic properties.
std::vector<std::string> get_ap(); std::vector<std::string> get_ap() const;
/// \brief This method creates a new state. /// \brief This method creates a new state.
unsigned new_state(); unsigned new_state();