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

misc: improve previous commit (thanks to A. Duret-Lutz)

Browse source 
* spot/misc/game.cc: here.
This commit is contained in:
Etienne Renault 2017-11-17 14:04:41 +01:00
parent d7fa7f4826
commit 4bc68f8ab8
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
spot/misc/game.cc
View file

@ -103,8 +103,8 @@ parity_game::attractor(const region_t& subgame, region_t& set,
} }
++i; ++i;
} }
if ((((owner_[s] && odd) || (!owner_[s] && !odd)) && any) || bool owner_is_odd = !!owner_[s] == odd;
(((!owner_[s] && odd) || (owner_[s] && !odd)) && all)) if ((owner_is_odd && any) || (!owner_is_odd && all))
{ {
set.insert(s); set.insert(s);
delta.insert(s); delta.insert(s);