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

more gcc-snapshot warnings

Browse source 
* spot/misc/game.hh: Here.
This commit is contained in:
Alexandre Duret-Lutz 2018-09-27 10:22:49 +02:00
parent 438d9e6d02
commit 3eb26704d6
1 changed files with 13 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

13
spot/misc/game.hh
View file

@ -166,6 +166,19 @@ public:
int compare(const state* other) const override;
reachability_state& operator=(const reachability_state& other)
{
num_ = other.num_;
b_ = other.b_;
anke_ = other.anke_;
return *this;
}
reachability_state(const reachability_state& other)
: num_(other.num_), b_(other.b_), anke_(other.anke_)
{
}
bool operator==(const reachability_state& o) const
{
return compare(&o) == 0;