spot 2.14.5
Loading...
Searching...
No Matches
spot::bitvect_array Class Reference
Collaboration diagram for spot::bitvect_array:

Public Member Functions

void operator delete (void *ptr)
size_t size () const
 The number of bitvect in the array.
void clear_all ()
bitvectat (const size_t index)
 Return the bit-vector at index.
const bitvectat (const size_t index) const
 Return the bit-vector at index.

Friends

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.

Member Function Documentation

◆ 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

Print a bitvect_array.


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 doxygen 1.15.0