|
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.
1.8.13