spot  2.11.6
Public Types | Public Member Functions | Friends | List of all members
spot::bitvect Class Reference

A bit vector. More...

#include <spot/misc/bitvect.hh>

Collaboration diagram for spot::bitvect:

Public Types

typedef unsigned long block_t
 

Public Member Functions

 bitvect (const bitvect &other)
 
bitvectclone () const
 
void operator delete (void *ptr)
 
void make_empty ()
 
bitvectoperator= (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 noexcept
 
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)
 
bitvectoperator|= (const bitvect &other)
 
bitvectoperator&= (const bitvect &other)
 
bitvectadd_common (const bitvect &other1, const bitvect &other2)
 
bool intersects (const bitvect &other)
 
bitvectoperator^= (const bitvect &other)
 
bitvectoperator-= (const bitvect &other)
 
bool is_subset_of (const bitvect &other) const
 
unsigned count () 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
 
template<typename F >
void foreach_set_index (F callback) const
 

Friends

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

Detailed Description

A bit vector.

Member Function Documentation

◆ reserve_blocks()

void spot::bitvect::reserve_blocks ( size_t  new_block_count)
inline

Grow the bitvector to new_block_count blocks.

This only changes the capacity of the bitvector, not its size.

Friends And Related Function Documentation

◆ make_bitvect

bitvect* make_bitvect ( size_t  bitcount)
friend

Allocate a bit-vector of bitcount bits.

The resulting object should be released with delete.

◆ 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  
)
friend

Print a bitvect.


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