|
|
void | operator delete (void *ptr) |
| size_t | size () const |
| | The number of bitvect in the array.
|
|
void | clear_all () |
| bitvect & | at (const size_t index) |
| | Return the bit-vector at index.
|
| const bitvect & | at (const size_t index) const |
| | Return the bit-vector at index.
|
|
| bitvect_array * | make_bitvect_array (size_t bitcount, size_t vectcount) |
| | Allocate vectcount bit-vectors of bitcount bits.
|
| std::ostream & | operator<< (std::ostream &, const bitvect_array &) |
| | Print a bitvect_array.
|
◆ at() [1/2]
| bitvect & spot::bitvect_array::at |
( |
const size_t | index | ) |
|
|
inline |
Return the bit-vector at index.
◆ at() [2/2]
| const bitvect & spot::bitvect_array::at |
( |
const size_t | index | ) |
const |
|
inline |
Return the bit-vector at index.
◆ size()
| size_t spot::bitvect_array::size |
( |
| ) |
const |
|
inline |
The number of bitvect in the array.
◆ make_bitvect_array
| bitvect_array * make_bitvect_array |
( |
size_t | bitcount, |
|
|
size_t | vectcount ) |
|
friend |
Allocate vectcount bit-vectors of bitcount bits.
The resulting bitvect_array should be released with delete.
◆ operator<<
| std::ostream & operator<< |
( |
std::ostream & | , |
|
|
const bitvect_array & | ) |
|
friend |
The documentation for this class was generated from the following file:
Please direct any
question,
comment, or
bug report to the Spot mailing list at
spot@lrde.epita.fr.
Generated on for spot by
1.15.0