spot  1.2.4
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Groups Pages
Public Member Functions | Friends | List of all members
spot::bitvect_array Class Reference
Collaboration diagram for spot::bitvect_array:
Collaboration graph

Public Member Functions

size_t size () const
 The number of bitvect in the array. More...
 
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

SPOT_API bitvect_arrayspot::make_bitvect_array (size_t bitcount, size_t vectcount)
 
SPOT_API std::ostream & operator<< (std::ostream &, const bitvect_array &)
 Print a bitvect_array. More...
 

Member Function Documentation

bitvect& spot::bitvect_array::at ( const size_t  index)
inline

Return the bit-vector at index.

const bitvect& spot::bitvect_array::at ( const size_t  index) const
inline

Return the bit-vector at index.

size_t spot::bitvect_array::size ( ) const
inline

The number of bitvect in the array.

Friends And Related Function Documentation

SPOT_API 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 Thu May 15 2014 11:04:11 for spot by doxygen 1.8.4