spot
2.3.3.dev
|
A bit vector. More...
#include <spot/misc/bitvect.hh>
Public Types | |
typedef unsigned long | block_t |
Public Member Functions | |
bitvect (const bitvect &other) | |
bitvect * | clone () const |
void | make_empty () |
bitvect & | operator= (const bitvect &other) |
void | reserve_blocks (size_t new_block_count) |
size_t | used_blocks () const |
size_t | size () const |
size_t | capacity () const |
size_t | hash () const |
bool | get (size_t pos) const |
void | clear_all () |
bool | is_fully_clear () const |
bool | is_fully_set () const |
void | set_all () |
void | flip_all () |
void | set (size_t pos) |
void | clear (size_t pos) |
void | flip (size_t pos) |
bitvect & | operator|= (const bitvect &other) |
bitvect & | operator &= (const bitvect &other) |
bitvect & | operator^= (const bitvect &other) |
bitvect & | operator-= (const bitvect &other) |
bool | is_subset_of (const bitvect &other) const |
bool | operator== (const bitvect &other) const |
bool | operator!= (const bitvect &other) const |
bool | operator< (const bitvect &other) const |
bool | operator>= (const bitvect &other) const |
bool | operator> (const bitvect &other) const |
bool | operator<= (const bitvect &other) const |
Friends | |
bitvect * | make_bitvect (size_t bitcount) |
Allocate a bit-vector of bitcount bits. More... | |
std::ostream & | operator<< (std::ostream &, const bitvect &) |
Print a bitvect. More... | |
bitvect_array * | make_bitvect_array (size_t bitcount, size_t vectcount) |
Allocate vectcount bit-vectors of bitcount bits. More... | |
A bit vector.
|
inline |
Grow the bitvector to new_block_count blocks.
This only changes the capacity of the bitvector, not its size.
References spot::make_bitvect(), and spot::make_bitvect_array().
|
friend |
Allocate a bit-vector of bitcount bits.
The resulting object should be released with delete
.
|
friend |
Allocate vectcount bit-vectors of bitcount bits.
The resulting bitvect_array should be released with delete
.
|
friend |
Print a bitvect.