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

twacube: cleanup API

Browse source 
* spot/twacube/twacube.cc,
spot/twacube/twacube.hh: Here.
This commit is contained in:
Etienne Renault 2020-06-08 10:17:06 +02:00
parent c61b721a48
commit f5585525f0
2 changed files with 4 additions and 25 deletions
Download patch file Download diff file Expand all files Collapse all files

23
spot/twacube/twacube.cc
View file

@ -23,21 +23,12 @@
namespace spot
{
cstate::cstate(cstate&& s) noexcept: id_(std::move(s.id_))
{
}
cstate::cstate(unsigned id): id_(id)
{
}
unsigned cstate::label()
{
return id_;
}
cstate::cstate(cstate&&) noexcept
{ }
transition::transition(transition&& t) noexcept:
cube_(std::move(t.cube_)), acc_(std::move(t.acc_))
{ }
{ }
transition::transition(const cube& cube,
acc_cond::mark_t acc):
@ -46,8 +37,7 @@ namespace spot
twacube::twacube(const std::vector<std::string> aps):
init_(0U), aps_(aps), cubeset_(aps.size())
{
}
{ }
twacube::~twacube()
{
@ -56,11 +46,6 @@ namespace spot
cs.release(theg_.edge_data(i).cube_);
}
const acc_cond& twacube::acc() const
{
return acc_;
}
acc_cond& twacube::acc()
{
return acc_;

6
spot/twacube/twacube.hh
View file

@ -36,12 +36,7 @@ namespace spot
cstate() = default;
cstate(const cstate& s) = delete;
cstate(cstate&& s) noexcept;
cstate(unsigned id);
~cstate() = default;
unsigned label();
private:
unsigned id_;
};
/// \brief Class for representing a transition.
@ -135,7 +130,6 @@ namespace spot
virtual ~twacube();
/// \brief Returns the acceptance condition associated to the automaton.
const acc_cond& acc() const;
acc_cond& acc();
/// \brief Returns the names of the atomic properties.