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

a few improvements to mark_t

Browse source 
* spot/misc/bitset.hh: add methods set() and clear()
* spot/twa/acc.hh: deprecate comparison of mark_t with unsigned, and
  rely more on biset for efficiency
This commit is contained in:
Maximilien Colange 2018-05-25 11:42:29 +02:00
parent 88a6bd82a3
commit 5b9088006c
2 changed files with 17 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

12
spot/misc/bitset.hh
View file

@ -124,6 +124,18 @@ namespace spot
return other.operator<=(*this);
}
void set(unsigned s)
{
SPOT_ASSERT(s < 8*N*sizeof(word_t));
data[s / (8*sizeof(word_t))] |= 1U << (s % (8*sizeof(word_t)));
}
void clear(unsigned s)
{
SPOT_ASSERT(s < 8*N*sizeof(word_t));
data[s / (8*sizeof(word_t))] &= ~(1U << (s % (8*sizeof(word_t))));
}
bitset operator<<(unsigned s) const
{
bitset r = *this;