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

acc: simplify mark_t::subset()

Browse source 
* spot/twa/acc.hh: Here.
This commit is contained in:
Alexandre Duret-Lutz 2017-10-18 15:23:12 +02:00
parent bdfa2b3983
commit 566d8e5c87
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
spot/twa/acc.hh
View file

@ -219,7 +219,7 @@ namespace spot
bool subset(mark_t m) const
{
return this->strip(m) == 0U;
return (*this) - m == 0U;
}
bool proper_subset(mark_t m) const