spot  2.11.6
Public Member Functions | Friends | List of all members
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. More...
 
void clear_all ()
 
bitvectat (const size_t index)
 Return the bit-vector at index. More...
 
const bitvectat (const size_t index) const
 Return the bit-vector at index. More...
 

Friends

bitvect_arraymake_bitvect_array (size_t bitcount, size_t vectcount)
 Allocate vectcount bit-vectors of bitcount bits. More...
 
std::ostream & operator<< (std::ostream &, const bitvect_array &)
 Print a bitvect_array. More...
 

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.

Friends And Related Function Documentation

◆ 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 Fri Feb 27 2015 10:00:07 for spot by doxygen 1.9.1