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

Protect the state destructor.

Browse source 
Client code should always call the destroy() method instead.  (It
was introduced in Spot 0.7.)

* src/tgba/state.hh (state::~state): Make it protected.
This commit is contained in:
Alexandre Duret-Lutz 2011-03-30 15:59:58 +02:00
parent 94ac863cfb
commit 29a908cc8f
2 changed files with 10 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

9
ChangeLog
View file

@ -1,3 +1,12 @@
2011-03-30 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Protect the state destructor.
Client code should always call the destroy() method instead. (It
was introduced in Spot 0.7.)
* src/tgba/state.hh (state::~state): Make it protected.
2011-03-30 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Speedup tgba_product when one of the argument is a Kripke structure.

4
src/tgba/state.hh
View file

@ -88,9 +88,7 @@ namespace spot
delete this;
}
// FIXME: Make the destructor protected after Spot 0.7.
//protected:
protected:
/// \brief Destructor.
///
/// \deprecated Client code should now call