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)
bitvect *	clone () const
void	operator delete (void *ptr)
void	make_empty ()
bitvect &	operator= (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)
bitvect &	operator|= (const bitvect &other)
bitvect &	operator&= (const bitvect &other)
bitvect &	add_common (const bitvect &other1, const bitvect &other2)
bool	intersects (const bitvect &other)
bitvect &	operator^= (const bitvect &other)
bitvect &	operator-= (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
bitvect *	make_bitvect (size_t bitcount)
	Allocate a bit-vector of bitcount bits.
std::ostream &	operator<< (std::ostream &, const bitvect &)
	Print a bitvect.
bitvect_array *	make_bitvect_array (size_t bitcount, size_t vectcount)
	Allocate vectcount bit-vectors of bitcount bits.

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 Symbol 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:

• spot/misc/bitvect.hh