BitMagic-C++
bm::bvector< Alloc > Class Template Reference

Bitvector Bit-vector container with runtime compression of bits. More...

#include <bm.h>

Inheritance diagram for bm::bvector< Alloc >:

Data Structures

struct  statistics
 Statistical information about bitset's memory allocation details. More...
class  reference
 Class reference implements an object for bit assignment. More...
class  iterator_base
 Base class for all iterators. More...
class  insert_iterator
 Output iterator iterator designed to set "ON" bits based on input sequence of integers (bit indeces). More...
class  bulk_insert_iterator
 Output iterator iterator designed to set "ON" bits based on input sequence of integers. More...
class  enumerator
 Constant iterator designed to enumerate "ON" bits. More...
class  counted_enumerator
 Constant iterator designed to enumerate "ON" bits counted_enumerator keeps bitcount, ie number of ON bits starting from the position 0 in the bit string up to the currently enumerated bit. More...
struct  allocation_policy
 memory allocation policy More...

Public Types

enum  optmode { opt_none = 0 , opt_free_0 = 1 , opt_free_01 = 2 , opt_compress = 3 }
 Optimization mode Every next level means additional checks (better compression vs time). More...
typedef Alloc allocator_type
typedef allocator_type::allocator_pool_type allocator_pool_type
typedef blocks_manager< Alloc > blocks_manager_type
typedef blocks_manager_type::block_idx_type block_idx_type
typedef bvector_size_type size_type
typedef bool const_reference
typedef bm::alloc_pool_guard< allocator_pool_type, bvector< Alloc > > mem_pool_guard
typedef rs_index< allocator_typeblocks_count
typedef rs_index< allocator_typers_index_type

Public Member Functions

Construction, initialization, assignment
 bvector (strategy strat=BM_BIT, const gap_word_t *glevel_len=bm::gap_len_table< true >::_len, size_type bv_size=bm::id_max, const Alloc &alloc=Alloc())
 Constructs bvector class.
 bvector (size_type bv_size, strategy strat=BM_BIT, const gap_word_t *glevel_len=bm::gap_len_table< true >::_len, const Alloc &alloc=Alloc())
 Constructs bvector class.
 bvector (const bvector< Alloc > &bvect)
 Copy constructor.
 bvector (const bvector< Alloc > &bvect, size_type left, size_type right)
 Copy constructor for range copy [left..right].
 bvector (const bvector< Alloc > &bvect, bm::finalization is_final)
 Copy-constructor for mutable/immutable initialization.
 ~bvector () BMNOEXCEPT
void init ()
 Explicit post-construction initialization. Must be caled to make sure safe use of *_no_check() methods.
void init (unsigned top_size, bool alloc_subs)
 Explicit post-construction initialization. Must be caled right after construction strickly before any modificating calls to make sure safe use of *_no_check() methods. This init can do pre-allocation of top level structures.
bvectoroperator= (const bvector< Alloc > &bvect)
 Copy assignment operator.
 bvector (bvector< Alloc > &&bvect) BMNOEXCEPT
 Move constructor.
 bvector (std::initializer_list< size_type > il)
 Brace constructor.
bvectoroperator= (bvector< Alloc > &&bvect) BMNOEXCEPT
 Move assignment operator.
void copy (const bvector< Alloc > &bvect, bm::finalization is_final)
 Copy bvector from the argument bvector.
void move_from (bvector< Alloc > &bvect) BMNOEXCEPT
 Move bvector content from another bvector.
void swap (bvector< Alloc > &bvect) BMNOEXCEPT
 Exchanges content of bv and this bvector.
void merge (bm::bvector< Alloc > &bvect)
 Merge/move content from another vector.
reference operator[] (size_type n)
bool operator[] (size_type n) const BMNOEXCEPT
void operator&= (const bvector< Alloc > &bv)
void operator^= (const bvector< Alloc > &bv)
void operator|= (const bvector< Alloc > &bv)
void operator-= (const bvector< Alloc > &bv)
bool operator< (const bvector< Alloc > &bv) const
bool operator<= (const bvector< Alloc > &bv) const
bool operator> (const bvector< Alloc > &bv) const
bool operator>= (const bvector< Alloc > &bv) const
bool operator== (const bvector< Alloc > &bv) const BMNOEXCEPT
bool operator!= (const bvector< Alloc > &bv) const BMNOEXCEPT
bvector< Alloc > operator~ () const
Alloc get_allocator () const
void set_allocator_pool (allocator_pool_type *pool_ptr) BMNOEXCEPT
 Set allocator pool for local (non-th readed) memory cyclic(lots of alloc-free ops) opertations.
allocator_pool_typeget_allocator_pool () BMNOEXCEPT
 Get curent allocator pool (if set).
Read-only / immutable vector methods
void freeze ()
 Turn current vector to read-only (immutable vector).
bool is_ro () const BMNOEXCEPT
 Returns true if vector is read-only.
Bit access/modification methods
bool set_bit (size_type n, bool val=true)
 Sets bit n.
bool set_bit_and (size_type n, bool val=true)
 Sets bit n using bit AND with the provided value.
bool inc (size_type n)
 Increment the specified element.
bool set_bit_conditional (size_type n, bool val, bool condition)
 Sets bit n only if current value equals the condition.
bvector< Alloc > & set (size_type n, bool val=true)
 Sets bit n if val is true, clears bit n if val is false.
bvector< Alloc > & set ()
 Sets every bit in this bitset to 1.
void set (const size_type *ids, size_type ids_size, bm::sort_order so=bm::BM_UNKNOWN)
 Set list of bits in this bitset to 1.
void keep (const size_type *ids, size_type ids_size, bm::sort_order so=bm::BM_UNKNOWN)
 Keep list of bits in this bitset, others are cleared.
void clear (const size_type *ids, size_type ids_size, bm::sort_order so=bm::BM_UNKNOWN)
 clear list of bits in this bitset
void swap (size_type idx1, size_type idx2)
 swap values of bits
void set_bit_no_check (size_type n)
 Set bit without checking preconditions (size, etc).
bool set_bit_no_check (size_type n, bool val)
 Set specified bit without checking preconditions (size, etc).
bvector< Alloc > & set_range (size_type left, size_type right, bool value=true)
 Sets all bits in the specified closed interval [left,right] Interval must be inside the bvector's size. This method DOES NOT resize vector.
void clear_range (size_type left, size_type right)
 Sets all bits to zero in the specified closed interval [left,right] Interval must be inside the bvector's size. This method DOES NOT resize vector.
void keep_range (size_type left, size_type right)
 Sets all bits to zero outside of the closed interval [left,right] Expected result: 00000...0[left, right]0....0000.
void copy_range (const bvector< Alloc > &bvect, size_type left, size_type right)
 Copy all bits in the specified closed interval [left,right].
bool clear_bit (size_type n)
 Clears bit n.
void clear_bit_no_check (size_type n)
 Clears bit n without precondiion checks.
void clear (bool free_mem=true) BMNOEXCEPT
 Clears every bit in the bitvector.
bvector< Alloc > & reset () BMNOEXCEPT
 Clears every bit in the bitvector.
bvector< Alloc > & flip (size_type n)
 Flips bit n.
bvector< Alloc > & flip ()
 Flips all bits.
insert_iterator inserter ()
Size and capacity

By default bvector is dynamically sized, manual control methods available

size_type size () const BMNOEXCEPT
 Returns bvector's capacity (number of bits it can store).
void resize (size_type new_size)
 Change size of the bvector.
Population counting, ranks, ranges and intervals
size_type count () const BMNOEXCEPT
 population count (count of ON bits)
block_idx_type count_blocks (unsigned *arr) const BMNOEXCEPT
 Computes bitcount values for all bvector blocks.
size_type count_range (size_type left, size_type right, const rs_index_type &rs_idx) const BMNOEXCEPT
 Returns count of 1 bits in the given range [left..right] Uses rank-select index to accelerate the search.
size_type count_range (size_type left, size_type right) const BMNOEXCEPT
 Returns count of 1 bits in the given range [left..right].
size_type count_range_no_check (size_type left, size_type right) const BMNOEXCEPT
size_type count_range_no_check (size_type left, size_type right, const rs_index_type &rs_idx) const BMNOEXCEPT
bool is_all_one_range (size_type left, size_type right) const BMNOEXCEPT
 Returns true if all bits in the range are 1s (saturated interval) Function uses closed interval [left, right].
bool any_range (size_type left, size_type right) const BMNOEXCEPT
 Returns true if any bits in the range are 1s (non-empty interval) Function uses closed interval [left, right].
void build_rs_index (rs_index_type *rs_idx, bvector< Alloc > *bv_blocks=0) const
 compute running total of all blocks in bit vector (rank-select index)
size_type count_to (size_type n, const rs_index_type &rs_idx) const BMNOEXCEPT
 Returns count of 1 bits (population) in [0..right] range.
size_type rank (size_type n, const rs_index_type &rs_idx) const BMNOEXCEPT
 Returns rank of specified bit position (same as count_to()).
size_type rank_corrected (size_type n, const rs_index_type &rs_idx) const BMNOEXCEPT
 Returns rank corrceted by the requested border value (as -1).
size_type count_to_test (size_type n, const rs_index_type &rs_idx) const BMNOEXCEPT
 popcount in [0..right] range if test(right) == true
size_type recalc_count () BMNOEXCEPT
void forget_count () BMNOEXCEPT
Bit access (read-only)
bool get_bit (size_type n) const BMNOEXCEPT
 returns true if bit n is set and false is bit n is 0.
bool test (size_type n) const BMNOEXCEPT
 returns true if bit n is set and false is bit n is 0.
bit-shift and insert operations
bool shift_right ()
 Shift right by 1 bit, fill with zero return carry out.
bool shift_left ()
 Shift left by 1 bit, fill with zero return carry out.
bool insert (size_type n, bool value)
 Insert bit into specified position All the vector content after insert position is shifted right.
void erase (size_type n)
 Erase bit in the specified position All the vector content after erase position is shifted left.
Check for empty-ness of container
bool any () const BMNOEXCEPT
 Returns true if any bits in this bitset are set, and otherwise returns false.
bool none () const BMNOEXCEPT
 Returns true if no bits are set, otherwise returns false.
bool empty () const BMNOEXCEPT
 Returns true if the set is empty (no bits are set, otherwise returns false) Please note that this is NOT a size check, it is an empty SET check (absense of 1s).
Scan and find bits and indexes
bool find (size_type &pos) const BMNOEXCEPT
 Finds index of first 1 bit.
bool find (size_type from, size_type &pos) const BMNOEXCEPT
 Find index of 1 bit starting from position.
size_type get_first () const BMNOEXCEPT
 find first 1 bit in vector. Function may return 0 and this requires an extra check if bit 0 is actually set or bit-vector is empty
size_type get_next (size_type prev) const BMNOEXCEPT
 Finds the number of the next bit ON.
size_type extract_next (size_type prev)
 Finds the number of the next bit ON and sets it to 0.
bool find_reverse (size_type &pos) const BMNOEXCEPT
 Finds last index of 1 bit.
bool find_reverse (size_type from, size_type &pos) const BMNOEXCEPT
 Reverse finds next(prev) index of 1 bit.
bool find_range (size_type &first, size_type &last) const BMNOEXCEPT
 Finds dynamic range of bit-vector [first, last].
bool find_rank (size_type rank, size_type from, size_type &pos) const BMNOEXCEPT
 Find bit-vector position for the specified rank(bitcount).
bool find_rank (size_type rank, size_type from, size_type &pos, const rs_index_type &rs_idx) const BMNOEXCEPT
 Find bit-vector position for the specified rank(bitcount).
bool select (size_type rank, size_type &pos, const rs_index_type &rs_idx) const BMNOEXCEPT
 select bit-vector position for the specified rank(bitcount)
Algebra of Sets operations
bm::bvector< Alloc > & bit_or (const bm::bvector< Alloc > &bv1, const bm::bvector< Alloc > &bv2, typename bm::bvector< Alloc >::optmode opt_mode=opt_none)
 3-operand OR : this := bv1 OR bv2
bm::bvector< Alloc > & bit_xor (const bm::bvector< Alloc > &bv1, const bm::bvector< Alloc > &bv2, typename bm::bvector< Alloc >::optmode opt_mode=opt_none)
 3-operand XOR : this := bv1 XOR bv2
bm::bvector< Alloc > & bit_and (const bm::bvector< Alloc > &bv1, const bm::bvector< Alloc > &bv2, typename bm::bvector< Alloc >::optmode opt_mode=opt_none)
 3-operand AND : this := bv1 AND bv2
bm::bvector< Alloc > & bit_or_and (const bm::bvector< Alloc > &bv1, const bm::bvector< Alloc > &bv2, typename bm::bvector< Alloc >::optmode opt_mode=opt_none)
 3-operand AND where result is ORed into the terget vector : this |= bv1 AND bv2 TARGET := TARGET OR (BV1 AND BV2)
bm::bvector< Alloc > & bit_sub (const bm::bvector< Alloc > &bv1, const bm::bvector< Alloc > &bv2, typename bm::bvector< Alloc >::optmode opt_mode=opt_none)
 3-operand SUB : this := bv1 MINUS bv2 SUBtraction is also known as AND NOT
bm::bvector< Alloc > & bit_or (const bm::bvector< Alloc > &bv)
 2 operand logical OR
bm::bvector< Alloc > & bit_and (const bm::bvector< Alloc > &bv, optmode opt_mode=opt_none)
 2 operand logical AND
bm::bvector< Alloc > & bit_xor (const bm::bvector< Alloc > &bv)
 2 operand logical XOR
bm::bvector< Alloc > & bit_sub (const bm::bvector< Alloc > &bv)
 2 operand logical SUB(AND NOT). Also known as MINUS.
bvector< Alloc > & invert ()
 Invert/NEG all bits It should be noted, invert is affected by size() if size is set - it only inverts [0..size-1] bits.
void combine_operation (const bm::bvector< Alloc > &bvect, bm::operation opcode)
 perform a set-algebra operation by operation code
void combine_operation_or (const bm::bvector< Alloc > &bvect)
 perform a set-algebra operation OR
void combine_operation_and (const bm::bvector< Alloc > &bvect, optmode opt_mode)
 perform a set-algebra operation AND
void combine_operation_sub (const bm::bvector< Alloc > &bvect)
 perform a set-algebra operation MINUS (AND NOT)
void combine_operation_xor (const bm::bvector< Alloc > &bvect)
 perform a set-algebra operation XOR
Iterator-traversal methods
enumerator first () const
 Returns enumerator pointing on the first non-zero bit.
enumerator end () const
 Returns enumerator pointing on the next bit after the last.
enumerator get_enumerator (size_type pos) const
 Returns enumerator pointing on specified or the next available bit.
Memory management and compression
void calc_stat (struct bm::bvector< Alloc >::statistics *st) const BMNOEXCEPT
 Calculates bitvector statistics.
void set_new_blocks_strat (strategy strat)
 Sets new blocks allocation strategy.
strategy get_new_blocks_strat () const BMNOEXCEPT
 Returns blocks allocation strategy.
void optimize (bm::word_t *temp_block=0, optmode opt_mode=opt_compress, statistics *stat=0)
 Optimize memory bitvector's memory allocation.
void optimize_range (size_type left, size_type right, bm::word_t *temp_block, optmode opt_mode=opt_compress)
void optimize_gap_size ()
 Optimize sizes of GAP blocks.
void set_gap_levels (const gap_word_t *glevel_len)
 Sets new GAP lengths table. All GAP blocks will be reallocated to match the new scheme.
bool is_init () const BMNOEXCEPT
 Return true if bvector is initialized at all.
void fill_alloc_digest (bvector< Alloc > &bv_blocks) const
 Calculate blocks digest vector (for diagnostics purposes) 1 is added if NB is a real, allocated block.
Comparison
int compare (const bvector< Alloc > &bvect) const BMNOEXCEPT
 Lexicographical comparison with a bitvector.
bool equal (const bvector< Alloc > &bvect) const BMNOEXCEPT
 Equal comparison with an agr bit-vector.
bool find_first_mismatch (const bvector< Alloc > &bvect, size_type &pos, size_type search_to=bm::id_max) const BMNOEXCEPT
 Find index of first bit different between this and the agr vector.

Friends

class iterator_base
class enumerator
template<class BV>
class aggregator
template<class BV>
class operation_deserializer
template<class BV, class DEC>
class deserializer

Open internals

void combine_operation_with_block (block_idx_type nb, const bm::word_t *arg_blk, bool arg_gap, bm::operation opcode)
const blocks_manager_typeget_blocks_manager () const BMNOEXCEPT
 get access to memory manager (internal) Use only if you are BitMagic library
blocks_manager_typeget_blocks_manager () BMNOEXCEPT
 get access to memory manager (internal) Use only if you are BitMagic library
void import (const size_type *ids, size_type ids_size, bm::sort_order sorted_idx)
 Import integers (set bits).
void import_sorted (const size_type *ids, const size_type ids_size, bool opt_flag)
 Import sorted integers (set bits).
void set_range_no_check (size_type left, size_type right)
 Set range without validity/bounds checking.
void clear_range_no_check (size_type left, size_type right)
 Clear range without validity/bounds checking.
static void throw_bad_alloc ()
void sync_size ()
 Syncronize size if it got extended due to bulk import.
void import_block (const size_type *ids, block_idx_type nblock, size_type start, size_type stop)
size_type check_or_next (size_type prev) const BMNOEXCEPT
bool gap_block_set (bm::gap_word_t *gap_blk, bool val, block_idx_type nblock, unsigned nbit)
 set bit in GAP block with GAP block length control
void gap_block_set_no_ret (bm::gap_word_t *gap_blk, bool val, block_idx_type nblock, unsigned nbit)
 set bit in GAP block with GAP block length control
size_type check_or_next_extract (size_type prev)
 check if specified bit is 1, and set it to 0 if specified bit is 0, scan for the next 1 and returns it if no 1 found returns 0
bool and_bit_no_check (size_type n, bool val)
 AND specified bit without checking preconditions (size, etc).
bool set_bit_conditional_impl (size_type n, bool val, bool condition)
void combine_operation_with_block (block_idx_type nb, bool gap, bm::word_t *blk, const bm::word_t *arg_blk, bool arg_gap, bm::operation opcode)
bool combine_operation_block_or (unsigned i, unsigned j, const bm::word_t *arg_blk1, const bm::word_t *arg_blk2)
bool combine_operation_block_xor (unsigned i, unsigned j, const bm::word_t *arg_blk1, const bm::word_t *arg_blk2)
bool combine_operation_block_and (unsigned i, unsigned j, const bm::word_t *arg_blk1, const bm::word_t *arg_blk2)
bool combine_operation_block_and_or (unsigned i, unsigned j, const bm::word_t *arg_blk1, const bm::word_t *arg_blk2)
bool combine_operation_block_sub (unsigned i, unsigned j, const bm::word_t *arg_blk1, const bm::word_t *arg_blk2)
void combine_operation_block_or (unsigned i, unsigned j, bm::word_t *blk, const bm::word_t *arg_blk)
void combine_operation_block_xor (unsigned i, unsigned j, bm::word_t *blk, const bm::word_t *arg_blk)
void combine_operation_block_and (unsigned i, unsigned j, bm::word_t *blk, const bm::word_t *arg_blk)
void combine_operation_block_sub (unsigned i, unsigned j, bm::word_t *blk, const bm::word_t *arg_blk)
void copy_range_no_check (const bvector< Alloc > &bvect, size_type left, size_type right)

Detailed Description

Member Typedef Documentation

◆ allocator_pool_type

template<class Alloc>
typedef allocator_type::allocator_pool_type bm::bvector< Alloc >::allocator_pool_type
Examples
xsample07a.cpp.

Definition at line 118 of file bm.h.

◆ allocator_type

template<class Alloc>
typedef Alloc bm::bvector< Alloc >::allocator_type
Examples
xsample07a.cpp.

Definition at line 117 of file bm.h.

◆ block_idx_type

template<class Alloc>
typedef blocks_manager_type::block_idx_type bm::bvector< Alloc >::block_idx_type

Definition at line 120 of file bm.h.

◆ blocks_count

template<class Alloc>
typedef rs_index<allocator_type> bm::bvector< Alloc >::blocks_count

Definition at line 815 of file bm.h.

◆ blocks_manager_type

template<class Alloc>
typedef blocks_manager<Alloc> bm::bvector< Alloc >::blocks_manager_type

Definition at line 119 of file bm.h.

◆ const_reference

template<class Alloc>
typedef bool bm::bvector< Alloc >::const_reference

Definition at line 233 of file bm.h.

◆ rs_index_type

template<class Alloc>
typedef rs_index<allocator_type> bm::bvector< Alloc >::rs_index_type
Examples
sample11.cpp, and sample17.cpp.

Definition at line 816 of file bm.h.

◆ size_type

Member Enumeration Documentation

◆ optmode

template<class Alloc>
enum bm::bvector::optmode

Optimization mode Every next level means additional checks (better compression vs time).

See also
optimize
Enumerator
opt_none 

no optimization

opt_free_0 

Free unused 0 blocks.

opt_free_01 

Free unused 0 and 1 blocks.

opt_compress 

compress blocks when possible (GAP/prefix sum)

Definition at line 132 of file bm.h.

Constructor & Destructor Documentation

◆ bvector() [1/7]

template<class Alloc>
bm::bvector< Alloc >::bvector ( strategy strat = BM_BIT,
const gap_word_t * glevel_len = bm::gap_len_table<true>::_len,
size_type bv_size = bm::id_max,
const Alloc & alloc = Alloc() )
inline

Constructs bvector class.

Parameters
strat- operation mode strategy, BM_BIT - default strategy, bvector use plain bitset blocks, (performance oriented strategy). BM_GAP - memory effitent strategy, bvector allocates blocks as array of intervals(gaps) and convert blocks into plain bitsets only when enthropy grows.
glevel_len
bv_size
  • bvector size (number of bits addressable by bvector), bm::id_max means "no limits" (recommended). bit vector allocates this space dynamically on demand.
alloc- alllocator for this instance
See also
bm::gap_len_table bm::gap_len_table_min set_new_blocks_strat

Definition at line 843 of file bm.h.

Referenced by build_rs_index(), bm::bvector< Alloc >::bulk_insert_iterator::bulk_insert_iterator(), clear(), compare(), copy(), copy_range(), copy_range_no_check(), fill_alloc_digest(), find_first_mismatch(), freeze(), bm::bvector< Alloc >::insert_iterator::insert_iterator(), invert(), keep(), move_from(), optimize_gap_size(), bm::bvector< Alloc >::reference::reference(), set(), set(), set_gap_levels(), set_range(), and swap().

◆ bvector() [2/7]

template<class Alloc>
bm::bvector< Alloc >::bvector ( size_type bv_size,
strategy strat = BM_BIT,
const gap_word_t * glevel_len = bm::gap_len_table<true>::_len,
const Alloc & alloc = Alloc() )
inline

Constructs bvector class.

Definition at line 855 of file bm.h.

◆ bvector() [3/7]

template<class Alloc>
bm::bvector< Alloc >::bvector ( const bvector< Alloc > & bvect)
inline

Copy constructor.

Definition at line 867 of file bm.h.

◆ bvector() [4/7]

template<class Alloc>
bm::bvector< Alloc >::bvector ( const bvector< Alloc > & bvect,
size_type left,
size_type right )
inline

Copy constructor for range copy [left..right].

See also
copy_range

Definition at line 877 of file bm.h.

◆ bvector() [5/7]

template<class Alloc>
bm::bvector< Alloc >::bvector ( const bvector< Alloc > & bvect,
bm::finalization is_final )
inline

Copy-constructor for mutable/immutable initialization.

Definition at line 892 of file bm.h.

◆ ~bvector()

template<class Alloc>
bm::bvector< Alloc >::~bvector ( )
inline

Definition at line 906 of file bm.h.

◆ bvector() [6/7]

template<class Alloc>
bm::bvector< Alloc >::bvector ( bvector< Alloc > && bvect)
inline

Move constructor.

Definition at line 940 of file bm.h.

◆ bvector() [7/7]

template<class Alloc>
bm::bvector< Alloc >::bvector ( std::initializer_list< size_type > il)
inline

Brace constructor.

Definition at line 950 of file bm.h.

Member Function Documentation

◆ and_bit_no_check()

template<class Alloc>
bool bm::bvector< Alloc >::and_bit_no_check ( size_type n,
bool val )
protected

AND specified bit without checking preconditions (size, etc).

Definition at line 4836 of file bm.h.

References BM_ASSERT, BMGAP_PTR, gap_block_set(), bm::gap_test_unr(), get_new_blocks_strat(), is_ro(), IS_VALID_ADDR, bm::set_block_mask, bm::set_block_shift, bm::set_word_mask, and bm::set_word_shift.

Referenced by set_bit_and().

◆ any()

template<typename Alloc>
bool bm::bvector< Alloc >::any ( ) const

Returns true if any bits in this bitset are set, and otherwise returns false.

Returns
true if any bit is set
Examples
strsvsample06.cpp, xsample04.cpp, and xsample07a.cpp.

Definition at line 2451 of file bm.h.

References BMNOEXCEPT, and bm::for_each_nzblock_if().

Referenced by bm::bvector< dbg_alloc >::empty(), DNA_FingerprintScanner< bm::bvector<> >::Find(), main(), bm::bvector< dbg_alloc >::none(), and resolve_duplicates().

◆ any_range()

template<typename Alloc>
bool bm::bvector< Alloc >::any_range ( size_type left,
size_type right ) const

Returns true if any bits in the range are 1s (non-empty interval) Function uses closed interval [left, right].

Parameters
left- index of first bit start checking
right- index of last bit
Returns
true if at least 1 bits is set
See also
is_all_one_range, count_range
Examples
xsample08.cpp.

Definition at line 3422 of file bm.h.

References bm::block_any(), bm::block_any_range(), BM_ASSERT, BMNOEXCEPT, FULL_BLOCK_FAKE_ADDR, bm::gap_max_bits, bm::get_block_coord(), bm::id_max, bm::set_block_mask, bm::set_block_shift, bm::set_sub_array_size, test(), and bm::xor_swap().

Referenced by add_object(), and main().

◆ bit_and() [1/2]

template<class Alloc>
bm::bvector< Alloc > & bm::bvector< Alloc >::bit_and ( const bm::bvector< Alloc > & bv,
optmode opt_mode = opt_none )
inline

2 operand logical AND

Parameters
bv- argument vector
opt_mode- set an immediate optimization

Definition at line 1802 of file bm.h.

◆ bit_and() [2/2]

template<class Alloc>
bm::bvector< Alloc > & bm::bvector< Alloc >::bit_and ( const bm::bvector< Alloc > & bv1,
const bm::bvector< Alloc > & bv2,
typename bm::bvector< Alloc >::optmode opt_mode = opt_none )

3-operand AND : this := bv1 AND bv2

Parameters
bv1- Argument vector 1
bv2- Argument vector 2
opt_mode- optimization compression (when it is performed on the fly it is faster than a separate call to optimize()
See also
optimize, bit_and
Examples
bvsetalgebra.cpp, strsvsample07.cpp, svsample10.cpp, and xsample07a.cpp.

Definition at line 6118 of file bm.h.

References bit_and(), BM_ASSERT, combine_operation_block_and(), FULL_BLOCK_FAKE_ADDR, FULL_SUB_BLOCK_REAL_ADDR, get_blocks_manager(), is_ro(), opt_compress, opt_none, and bm::set_sub_array_size.

Referenced by bit_and(), bit_or_and(), DemoAND(), keep(), main(), main(), bm::operator&(), bm::bvector< dbg_alloc >::operator&=(), and resolve_duplicates().

◆ bit_or() [1/2]

template<class Alloc>
bm::bvector< Alloc > & bm::bvector< Alloc >::bit_or ( const bm::bvector< Alloc > & bv)
inline

2 operand logical OR

Parameters
bv- Argument vector.

Definition at line 1790 of file bm.h.

◆ bit_or() [2/2]

template<class Alloc>
bm::bvector< Alloc > & bm::bvector< Alloc >::bit_or ( const bm::bvector< Alloc > & bv1,
const bm::bvector< Alloc > & bv2,
typename bm::bvector< Alloc >::optmode opt_mode = opt_none )

3-operand OR : this := bv1 OR bv2

Parameters
bv1- Argument vector 1
bv2- Argument vector 2
opt_mode- optimization compression (when it is performed on the fly it is faster than a separate call to optimize()
See also
optimize, bit_or
Examples
bvsetalgebra.cpp, sample4.cpp, and svsample10.cpp.

Definition at line 5906 of file bm.h.

References bit_or(), BM_ASSERT, combine_operation_block_or(), FULL_BLOCK_FAKE_ADDR, get_blocks_manager(), is_ro(), opt_compress, opt_none, and bm::set_sub_array_size.

Referenced by bit_or(), bit_or_and(), bit_sub(), DemoOR(), main(), merge(), bm::operator|(), bm::bvector< dbg_alloc >::operator|=(), and bm::sparse_vector_find_mismatch().

◆ bit_or_and()

template<class Alloc>
bm::bvector< Alloc > & bm::bvector< Alloc >::bit_or_and ( const bm::bvector< Alloc > & bv1,
const bm::bvector< Alloc > & bv2,
typename bm::bvector< Alloc >::optmode opt_mode = opt_none )

3-operand AND where result is ORed into the terget vector : this |= bv1 AND bv2 TARGET := TARGET OR (BV1 AND BV2)

Parameters
bv1- Argument vector 1
bv2- Argument vector 2
opt_mode- optimization compression (when it is performed on the fly it is faster than a separate call to optimize()
See also
optimize, bit_and
Examples
bvsetalgebra.cpp.

Definition at line 6213 of file bm.h.

References bit_and(), bit_or(), BM_ASSERT, combine_operation_block_and(), combine_operation_block_and_or(), FULL_BLOCK_FAKE_ADDR, FULL_SUB_BLOCK_REAL_ADDR, get_blocks_manager(), is_ro(), opt_compress, opt_none, and bm::set_sub_array_size.

Referenced by DemoAND_OR().

◆ bit_sub() [1/2]

template<class Alloc>
bm::bvector< Alloc > & bm::bvector< Alloc >::bit_sub ( const bm::bvector< Alloc > & bv)
inline

2 operand logical SUB(AND NOT). Also known as MINUS.

Parameters
bv- argument vector.

Definition at line 1825 of file bm.h.

◆ bit_sub() [2/2]

template<class Alloc>
bm::bvector< Alloc > & bm::bvector< Alloc >::bit_sub ( const bm::bvector< Alloc > & bv1,
const bm::bvector< Alloc > & bv2,
typename bm::bvector< Alloc >::optmode opt_mode = opt_none )

3-operand SUB : this := bv1 MINUS bv2 SUBtraction is also known as AND NOT

Parameters
bv1- Argument vector 1
bv2- Argument vector 2
opt_mode- optimization compression (when it is performed on the fly it is faster than a separate call to optimize()
See also
optimize, bit_sub
Examples
bvsetalgebra.cpp, and xsample07.cpp.

Definition at line 6330 of file bm.h.

References bit_or(), bit_sub(), BM_ASSERT, combine_operation_block_sub(), FULL_BLOCK_FAKE_ADDR, FULL_SUB_BLOCK_REAL_ADDR, get_blocks_manager(), is_ro(), opt_compress, opt_none, and bm::set_sub_array_size.

Referenced by bit_sub(), clear(), DemoSUB(), main(), bm::operator-(), and bm::bvector< dbg_alloc >::operator-=().

◆ bit_xor() [1/2]

template<class Alloc>
bm::bvector< Alloc > & bm::bvector< Alloc >::bit_xor ( const bm::bvector< Alloc > & bv)
inline

2 operand logical XOR

Parameters
bv- argument vector.

Definition at line 1814 of file bm.h.

◆ bit_xor() [2/2]

template<class Alloc>
bm::bvector< Alloc > & bm::bvector< Alloc >::bit_xor ( const bm::bvector< Alloc > & bv1,
const bm::bvector< Alloc > & bv2,
typename bm::bvector< Alloc >::optmode opt_mode = opt_none )

3-operand XOR : this := bv1 XOR bv2

Parameters
bv1- Argument vector 1
bv2- Argument vector 2
opt_mode- optimization compression (when it is performed on the fly it is faster than a separate call to optimize()
See also
optimize, bit_xor
Examples
bvsetalgebra.cpp.

Definition at line 6005 of file bm.h.

References bit_xor(), BM_ASSERT, combine_operation_block_xor(), FULL_BLOCK_FAKE_ADDR, FULL_SUB_BLOCK_REAL_ADDR, get_blocks_manager(), is_ro(), opt_compress, opt_none, and bm::set_sub_array_size.

Referenced by bit_xor(), DemoXOR(), bm::operator^(), bm::bvector< dbg_alloc >::operator^=(), and bm::sparse_vector_find_mismatch().

◆ build_rs_index()

template<typename Alloc>
void bm::bvector< Alloc >::build_rs_index ( rs_index_type * rs_idx,
bvector< Alloc > * bv_blocks = 0 ) const

compute running total of all blocks in bit vector (rank-select index)

Parameters
rs_idx- [out] pointer to index / count structure
bv_blocks- [out] list of block ids in the vector (internal, optional) Function will fill full array of running totals
See also
count_to, select, find_rank
Examples
sample11.cpp, and sample17.cpp.

Definition at line 2501 of file bm.h.

References bm::bit_block_calc_count_range(), bm::bit_block_calc_count_to(), BLOCK_ADDR_SAN, BM_ASSERT, BM_IS_GAP, BMGAP_PTR, bvector(), clear(), find_reverse(), FULL_BLOCK_FAKE_ADDR, bm::gap_bfind(), bm::gap_bit_count_range(), bm::gap_bit_count_to(), bm::gap_max_bits, bm::get_block_coord(), init(), bm::rs3_border0, bm::rs3_border0_1, bm::rs3_border1, bm::rs3_border1_1, set_bit_no_check(), bm::set_block_shift, set_range_no_check(), and bm::set_sub_array_size.

Referenced by bv_count_range_acc(), bv_count_to_acc(), bv_count_to_range_acc(), and main().

◆ calc_stat()

template<typename Alloc>
void bm::bvector< Alloc >::calc_stat ( struct bm::bvector< Alloc >::statistics * st) const

Calculates bitvector statistics.

Parameters
st- pointer on statistics structure to be filled in.

Function fills statistics structure containing information about how this vector uses memory and estimation of max. amount of memory bvector needs to serialize itself.

See also
statistics
Examples
sample11.cpp, sample26.cpp, sample3.cpp, sample4.cpp, and xsample01.cpp.

Definition at line 3978 of file bm.h.

References BM_ASSERT, BM_IS_GAP, BMGAP_PTR, BMNOEXCEPT, bm::find_not_null_ptr(), FULL_BLOCK_FAKE_ADDR, bm::gap_capacity(), bm::gap_length(), bm::gap_level(), bm::gap_levels, is_ro(), IS_VALID_ADDR, bm::set_block_size, and bm::set_sub_array_size.

Referenced by calc_memory_footprint(), convert_bv2bvs(), generate_bvector(), optimize(), optimize_gap_size(), print_statistics(), print_statistics(), and print_statistics().

◆ check_or_next()

◆ check_or_next_extract()

template<class Alloc>
bvector< Alloc >::size_type bm::bvector< Alloc >::check_or_next_extract ( size_type prev)
protected

check if specified bit is 1, and set it to 0 if specified bit is 0, scan for the next 1 and returns it if no 1 found returns 0

Definition at line 5408 of file bm.h.

References BM_ASSERT, check_or_next(), clear_bit_no_check(), and is_ro().

Referenced by bm::bvector< dbg_alloc >::extract_next().

◆ clear() [1/2]

template<class Alloc>
void bm::bvector< Alloc >::clear ( bool free_mem = true)

Clears every bit in the bitvector.

Parameters
free_memif "true" (default) bvector frees the memory, otherwise sets blocks to 0.

Definition at line 4135 of file bm.h.

References BM_ASSERT, BMNOEXCEPT, and is_ro().

◆ clear() [2/2]

template<class Alloc>
void bm::bvector< Alloc >::clear ( const size_type * ids,
size_type ids_size,
bm::sort_order so = bm::BM_UNKNOWN )

clear list of bits in this bitset

This is equivalent of AND NOT (Set Substract), argument set as an array.

Parameters
ids- pointer on array of indexes to set
ids_size- size of the input (ids)
so- sort order (use BM_SORTED for faster load)
See also
set, keep
Examples
bvsetalgebra.cpp, rscsample04.cpp, rscsample06.cpp, sample1.cpp, sample12.cpp, sample18.cpp, sample7.cpp, svsample04.cpp, xsample01.cpp, and xsample07a.cpp.

Definition at line 4149 of file bm.h.

References bit_sub(), BM_ASSERT, bvector(), find_reverse(), import(), is_ro(), and resize().

Referenced by build_rs_index(), bv_count_and(), combine_operation_and(), compute_seq_group_union(), copy_range(), DemoSUB(), destroy_map(), CSeqClusters::elect_leaders(), keep(), main(), bm::bvector< dbg_alloc >::reset(), speed_test_bv_index(), speed_test_bvs_index(), speed_test_sv_index(), speed_test_vect_index(), and CSeqClusters::union_all_groups().

◆ clear_bit()

template<class Alloc>
bool bm::bvector< Alloc >::clear_bit ( size_type n)
inline

Clears bit n.

Parameters
n- bit's index to be cleaned.
Returns
true if bit was cleared
Examples
sample12.cpp.

Definition at line 1247 of file bm.h.

Referenced by main().

◆ clear_bit_no_check()

template<class Alloc>
void bm::bvector< Alloc >::clear_bit_no_check ( size_type n)

Clears bit n without precondiion checks.

Parameters
n- bit's index to be cleaned.

Definition at line 4680 of file bm.h.

References BM_ASSERT, BM_ASSERT_THROW, BMGAP_PTR, gap_block_set_no_ret(), get_new_blocks_strat(), bm::id_max, is_ro(), bm::set_block_mask, bm::set_block_shift, bm::set_word_mask, and bm::set_word_shift.

Referenced by check_or_next_extract().

◆ clear_range()

template<class Alloc>
void bm::bvector< Alloc >::clear_range ( size_type left,
size_type right )
inline

Sets all bits to zero in the specified closed interval [left,right] Interval must be inside the bvector's size. This method DOES NOT resize vector.

Parameters
left- interval start
right- interval end (closed interval)
See also
set_range

Definition at line 1216 of file bm.h.

Referenced by main().

◆ clear_range_no_check()

template<class Alloc>
void bm::bvector< Alloc >::clear_range_no_check ( size_type left,
size_type right )

◆ combine_operation()

template<class Alloc>
void bm::bvector< Alloc >::combine_operation ( const bm::bvector< Alloc > & bvect,
bm::operation opcode )

perform a set-algebra operation by operation code

Examples
bvsetalgebra.cpp.

Definition at line 6750 of file bm.h.

References bm::BM_AND, BM_IS_GAP, bm::BM_SUB, combine_operation_with_block(), set_range(), and bm::set_sub_array_size.

Referenced by DemoAND(), DemoOR(), DemoSUB(), and DemoXOR().

◆ combine_operation_and()

template<class Alloc>
void bm::bvector< Alloc >::combine_operation_and ( const bm::bvector< Alloc > & bvect,
optmode opt_mode )

perform a set-algebra operation AND

Definition at line 6598 of file bm.h.

References bm::avx2_test_all_zero_wave(), BM_AND_OP, clear(), FULL_BLOCK_FAKE_ADDR, bm::set_sub_array_size, and bm::sse42_test_all_zero_wave().

Referenced by bm::bvector< dbg_alloc >::bit_and().

◆ combine_operation_block_and() [1/2]

template<class Alloc>
void bm::bvector< Alloc >::combine_operation_block_and ( unsigned i,
unsigned j,
bm::word_t * blk,
const bm::word_t * arg_blk )
protected

◆ combine_operation_block_and() [2/2]

template<class Alloc>
bool bm::bvector< Alloc >::combine_operation_block_and ( unsigned i,
unsigned j,
const bm::word_t * arg_blk1,
const bm::word_t * arg_blk2 )
protected

◆ combine_operation_block_and_or()

template<class Alloc>
bool bm::bvector< Alloc >::combine_operation_block_and_or ( unsigned i,
unsigned j,
const bm::word_t * arg_blk1,
const bm::word_t * arg_blk2 )
protected

◆ combine_operation_block_or() [1/2]

template<class Alloc>
void bm::bvector< Alloc >::combine_operation_block_or ( unsigned i,
unsigned j,
bm::word_t * blk,
const bm::word_t * arg_blk )
protected

◆ combine_operation_block_or() [2/2]

template<class Alloc>
bool bm::bvector< Alloc >::combine_operation_block_or ( unsigned i,
unsigned j,
const bm::word_t * arg_blk1,
const bm::word_t * arg_blk2 )
protected
Returns
true if block optimization may be needed

Definition at line 6872 of file bm.h.

References bm::bit_block_or_2way(), BM_IS_GAP, BMGAP_PTR, FULL_BLOCK_FAKE_ADDR, bm::gap_add_to_bitset(), bm::gap_equiv_len, and bm::gap_operation_or().

Referenced by bit_or(), combine_operation_block_and_or(), and merge().

◆ combine_operation_block_sub() [1/2]

template<class Alloc>
void bm::bvector< Alloc >::combine_operation_block_sub ( unsigned i,
unsigned j,
bm::word_t * blk,
const bm::word_t * arg_blk )
protected

◆ combine_operation_block_sub() [2/2]

template<class Alloc>
bool bm::bvector< Alloc >::combine_operation_block_sub ( unsigned i,
unsigned j,
const bm::word_t * arg_blk1,
const bm::word_t * arg_blk2 )
protected

◆ combine_operation_block_xor() [1/2]

template<class Alloc>
void bm::bvector< Alloc >::combine_operation_block_xor ( unsigned i,
unsigned j,
bm::word_t * blk,
const bm::word_t * arg_blk )
protected

◆ combine_operation_block_xor() [2/2]

template<class Alloc>
bool bm::bvector< Alloc >::combine_operation_block_xor ( unsigned i,
unsigned j,
const bm::word_t * arg_blk1,
const bm::word_t * arg_blk2 )
protected

◆ combine_operation_or()

template<class Alloc>
void bm::bvector< Alloc >::combine_operation_or ( const bm::bvector< Alloc > & bvect)

perform a set-algebra operation OR

Definition at line 6427 of file bm.h.

References bm::avx2_test_all_eq_wave2(), BM_OR_OP, FULL_BLOCK_FAKE_ADDR, bm::set_sub_array_size, and bm::sse42_test_all_eq_wave2().

Referenced by bm::bvector< dbg_alloc >::bit_or().

◆ combine_operation_sub()

template<class Alloc>
void bm::bvector< Alloc >::combine_operation_sub ( const bm::bvector< Alloc > & bvect)

perform a set-algebra operation MINUS (AND NOT)

Definition at line 6686 of file bm.h.

References bm::avx2_test_all_zero_wave(), BM_SUB_OP, FULL_BLOCK_FAKE_ADDR, bm::set_sub_array_size, and bm::sse42_test_all_zero_wave().

Referenced by bm::bvector< dbg_alloc >::bit_sub().

◆ combine_operation_with_block() [1/2]

◆ combine_operation_with_block() [2/2]

template<class Alloc>
void bm::bvector< Alloc >::combine_operation_with_block ( block_idx_type nb,
const bm::word_t * arg_blk,
bool arg_gap,
bm::operation opcode )

◆ combine_operation_xor()

template<class Alloc>
void bm::bvector< Alloc >::combine_operation_xor ( const bm::bvector< Alloc > & bvect)

◆ compare()

template<typename Alloc>
int bm::bvector< Alloc >::compare ( const bvector< Alloc > & bvect) const

Lexicographical comparison with a bitvector.

Function compares current bitvector with the provided argument bit by bit and returns -1 if this bitvector less than the argument, 1 - greater, 0 - equal

Returns
0 if this == arg, -1 if this < arg, 1 if this > arg
See also
find_first_mismatch
Examples
sample4.cpp, svsample06.cpp, xsample01.cpp, xsample03.cpp, xsample04a.cpp, and xsample05.cpp.

Definition at line 3744 of file bm.h.

References bm::bit_is_all_zero(), bm::bitcmp(), BM_DECLARE_TEMP_BLOCK, BM_IS_GAP, BMGAP_PTR, BMNOEXCEPT, bvector(), FULL_BLOCK_FAKE_ADDR, FULL_BLOCK_REAL_ADDR, bm::gap_convert_to_bitset(), bm::gap_is_all_zero(), bm::gapcmp(), bm::set_block_size_op, and bm::set_sub_array_size.

Referenced by convert_bv2bvs(), fingerprint_compare(), main(), bm::bvector< dbg_alloc >::operator<(), bm::bvector< dbg_alloc >::operator<=(), bm::bvector< dbg_alloc >::operator>(), bm::bvector< dbg_alloc >::operator>=(), run_benchmark(), and run_benchmark().

◆ copy()

template<typename Alloc>
void bm::bvector< Alloc >::copy ( const bvector< Alloc > & bvect,
bm::finalization is_final )

Copy bvector from the argument bvector.

Parameters
bvect- bit-vector to copy from
is_final- BM_READONLY - copies as immutable, BM_READWRITE - copies as mutable even if the argument bvect is read-only vector, BM_UNDEFINED - follow the argument type as is

Definition at line 2303 of file bm.h.

References BM_ASSERT, bvector(), bm::READONLY, bm::READWRITE, resize(), and bm::UNDEFINED.

Referenced by bm::bvector< dbg_alloc >::operator=().

◆ copy_range()

template<class Alloc>
void bm::bvector< Alloc >::copy_range ( const bvector< Alloc > & bvect,
size_type left,
size_type right )

Copy all bits in the specified closed interval [left,right].

Parameters
bvect- source bit-vector
left- interval start
right- interval end (closed interval)
Examples
sample22.cpp.

Definition at line 7981 of file bm.h.

References bvector(), clear(), copy_range_no_check(), and bm::xor_swap().

Referenced by bm::base_sparse_vector< Val, BV, MAX_SIZE >::copy_range_slices(), and main().

◆ copy_range_no_check()

template<class Alloc>
void bm::bvector< Alloc >::copy_range_no_check ( const bvector< Alloc > & bvect,
size_type left,
size_type right )
protected

◆ count()

◆ count_blocks()

template<typename Alloc>
bvector< Alloc >::block_idx_type bm::bvector< Alloc >::count_blocks ( unsigned * arr) const

Computes bitcount values for all bvector blocks.

Parameters
arr- pointer on array of block bit counts
Returns
Index of the last block counted. This number +1 gives you number of arr elements initialized during the function call.

Definition at line 2637 of file bm.h.

References BMNOEXCEPT, and bm::for_each_nzblock().

◆ count_range() [1/2]

template<typename Alloc>
bvector< Alloc >::size_type bm::bvector< Alloc >::count_range ( size_type left,
size_type right ) const

Returns count of 1 bits in the given range [left..right].

Parameters
left- index of first bit start counting from
right- index of last bit
Returns
population count in the diapason
See also
count_range_no_check

Definition at line 3242 of file bm.h.

References BM_ASSERT, BMNOEXCEPT, count_range_no_check(), bm::id_max, and bm::xor_swap().

◆ count_range() [2/2]

template<typename Alloc>
bvector< Alloc >::size_type bm::bvector< Alloc >::count_range ( size_type left,
size_type right,
const rs_index_type & rs_idx ) const

Returns count of 1 bits in the given range [left..right] Uses rank-select index to accelerate the search.

Parameters
left- index of first bit start counting from
right- index of last bit
rs_idx- block count structure to accelerate search
See also
build_rs_index
Returns
population count in the diapason
Examples
sample11.cpp, xsample07a.cpp, and xsample09.cpp.

Definition at line 3516 of file bm.h.

References BM_ASSERT_THROW, BMNOEXCEPT, count_range_no_check(), bm::id_max, and bm::xor_swap().

Referenced by bv_count_range(), bv_count_range_acc(), compute_historgam(), compute_rsc_historgam(), and CSeqClusters::elect_leaders().

◆ count_range_no_check() [1/2]

template<typename Alloc>
bvector< Alloc >::size_type bm::bvector< Alloc >::count_range_no_check ( size_type left,
size_type right ) const

Returns count of 1 bits in the given range [left..right] Function expects that caller guarantees that left < right

See also
count_range

Definition at line 3258 of file bm.h.

References bm::bit_block_calc_count_range(), bm::bits_in_block, BM_IS_GAP, BMGAP_PTR, BMNOEXCEPT, bm::for_each_nzblock_range(), bm::gap_bit_count_range(), bm::gap_bit_count_to(), bm::get_block_coord(), bm::set_block_mask, and bm::set_block_shift.

Referenced by count_range(), and count_range().

◆ count_range_no_check() [2/2]

template<typename Alloc>
bvector< Alloc >::size_type bm::bvector< Alloc >::count_range_no_check ( size_type left,
size_type right,
const rs_index_type & rs_idx ) const

Returns count of 1 bits in the given range [left..right] Function expects that caller guarantees that left < right

See also
count_range

Definition at line 3530 of file bm.h.

References BM_ASSERT, BMNOEXCEPT, count_to(), and test().

◆ count_to()

template<typename Alloc>
bvector< Alloc >::size_type bm::bvector< Alloc >::count_to ( size_type n,
const rs_index_type & rs_idx ) const

Returns count of 1 bits (population) in [0..right] range.

This operation is also known as rank of bit N.

Parameters
n- index of bit to rank
rs_idx- rank-select to accelerate search should be prepared using build_rs_index
Returns
population count in the range [0..n]
See also
build_rs_index
count_to_test, select, rank, rank_corrected
Examples
sample11.cpp.

Definition at line 3088 of file bm.h.

References BM_ASSERT, BM_IS_GAP, BMGAP_PTR, BMNOEXCEPT, FULL_BLOCK_FAKE_ADDR, bm::get_block_coord(), bm::id_max, bm::set_block_mask, and bm::set_block_shift.

Referenced by bv_count_to_acc(), bv_count_to_range_acc(), count_range_no_check(), and bm::bvector< dbg_alloc >::rank().

◆ count_to_test()

template<typename Alloc>
bvector< Alloc >::size_type bm::bvector< Alloc >::count_to_test ( size_type n,
const rs_index_type & rs_idx ) const

popcount in [0..right] range if test(right) == true

This is conditional rank operation, which is faster than test() plus count_to()

Parameters
n- index of bit to test and rank
rs_idx- rank-select index (block count structure to accelerate search) should be prepared using build_rs_index()
Returns
population count in the diapason or 0 if right bit test failed
See also
build_rs_index
count_to

Definition at line 3141 of file bm.h.

References bm::bit_block_calc_count_to(), BM_ASSERT, BM_IS_GAP, BMGAP_PTR, BMNOEXCEPT, FULL_BLOCK_FAKE_ADDR, bm::gap_bit_count_to(), bm::get_block_coord(), bm::id_max, bm::set_block_mask, bm::set_block_shift, bm::set_word_mask, and bm::set_word_shift.

◆ empty()

template<class Alloc>
bool bm::bvector< Alloc >::empty ( ) const
inline

Returns true if the set is empty (no bits are set, otherwise returns false) Please note that this is NOT a size check, it is an empty SET check (absense of 1s).

Definition at line 1562 of file bm.h.

Referenced by combine_operation_block_and(), and combine_operation_block_sub().

◆ end()

template<class Alloc>
enumerator bm::bvector< Alloc >::end ( ) const
inline

Returns enumerator pointing on the next bit after the last.

Examples
sample10.cpp, sample12.cpp, sample16.cpp, sample20.cpp, sample21.cpp, sample22.cpp, sample5.cpp, sample7.cpp, and sample8.cpp.

Definition at line 1877 of file bm.h.

Referenced by combine_or_test(), DemoAND(), DemoOR(), DemoSUB(), DemoXOR(), main(), speed_test_sv_index(), and speed_test_vect_index().

◆ equal()

template<class Alloc>
bool bm::bvector< Alloc >::equal ( const bvector< Alloc > & bvect) const
inline

Equal comparison with an agr bit-vector.

Returns
true if vectors are identical
Examples
bv3vlogic.cpp, sample14.cpp, sample22.cpp, and strsvsample07.cpp.

Definition at line 2017 of file bm.h.

Referenced by main(), main(), bm::bvector< dbg_alloc >::operator!=(), bm::bvector< dbg_alloc >::operator==(), Set3VL_AndDemo(), and Set3VL_ORDemo().

◆ erase()

template<class Alloc>
void bm::bvector< Alloc >::erase ( size_type n)

◆ extract_next()

template<class Alloc>
size_type bm::bvector< Alloc >::extract_next ( size_type prev)
inline

Finds the number of the next bit ON and sets it to 0.

Parameters
prev- Index of the previously found bit.
Returns
Index of the next bit which is ON or 0 if not found.
See also
get_first, get_next, find_reverse
Examples
sample12.cpp.

Definition at line 1619 of file bm.h.

Referenced by main().

◆ fill_alloc_digest()

template<typename Alloc>
void bm::bvector< Alloc >::fill_alloc_digest ( bvector< Alloc > & bv_blocks) const

Calculate blocks digest vector (for diagnostics purposes) 1 is added if NB is a real, allocated block.

Parameters
bv_blocks- [out] bvector of blocks statistics

Definition at line 4058 of file bm.h.

References bvector(), FULL_BLOCK_FAKE_ADDR, init(), IS_VALID_ADDR, set_bit_no_check(), and bm::set_sub_array_size.

◆ find() [1/2]

template<class Alloc>
bool bm::bvector< Alloc >::find ( size_type & pos) const

Finds index of first 1 bit.

Parameters
pos- [out] index of the found 1 bit
Returns
true if search returned result
See also
get_first, get_next, extract_next, find_reverse, find_first_mismatch
Examples
sample15.cpp, sample2.cpp, and xsample09.cpp.

Definition at line 5093 of file bm.h.

References bm::bit_find_first(), bm::bits_in_array, BM_IS_GAP, BMGAP_PTR, BMNOEXCEPT, FULL_BLOCK_FAKE_ADDR, FULL_SUB_BLOCK_REAL_ADDR, bm::gap_find_first(), bm::gap_max_bits, and bm::set_sub_array_size.

Referenced by access_bench3(), find(), find_first_mismatch(), find_range(), and main().

◆ find() [2/2]

template<class Alloc>
bool bm::bvector< Alloc >::find ( size_type from,
size_type & pos ) const

Find index of 1 bit starting from position.

Parameters
from- position to start search from, please note that if bit at from position is set then it will be found, function uses closed interval [from...
pos- [out] index of the found 1 bit
Returns
true if search returned result
See also
get_first, get_next, extract_next, find_reverse, find_first_mismatch

Definition at line 4896 of file bm.h.

References BMNOEXCEPT, check_or_next(), find(), and bm::id_max.

◆ find_first_mismatch()

template<typename Alloc>
bool bm::bvector< Alloc >::find_first_mismatch ( const bvector< Alloc > & bvect,
size_type & pos,
size_type search_to = bm::id_max ) const

Find index of first bit different between this and the agr vector.

Parameters
bvect- argumnet vector to compare with
pos- [out] position of the first difference
search_to- search limiter [0..to] to avoid overscan (default: unlimited to the vectors end)
Returns
true if didfference found, false - both vectors are equivalent
See also
compare

Definition at line 3862 of file bm.h.

References BLOCK_ADDR_SAN, bm::block_find_first_diff(), BMNOEXCEPT, bvector(), find(), FULL_BLOCK_FAKE_ADDR, FULL_BLOCK_REAL_ADDR, bm::gap_max_bits, bm::get_block_coord(), bm::set_block_shift, and bm::set_sub_array_size.

Referenced by bm::bvector< dbg_alloc >::equal(), and main().

◆ find_range()

template<class Alloc>
bool bm::bvector< Alloc >::find_range ( size_type & first,
size_type & last ) const

Finds dynamic range of bit-vector [first, last].

Parameters
first- index of the first found 1 bit
last- index of the last found 1 bit
Returns
true if search returned result
See also
get_first, get_next, extract_next, find, find_reverse
Examples
bvsample01_64.cpp, and sample15.cpp.

Definition at line 5139 of file bm.h.

References BM_ASSERT, BMNOEXCEPT, find(), and find_reverse().

Referenced by main().

◆ find_rank() [1/2]

template<class Alloc>
bool bm::bvector< Alloc >::find_rank ( size_type rank,
size_type from,
size_type & pos ) const

Find bit-vector position for the specified rank(bitcount).

Rank based search, counts number of 1s from specified position until finds the ranked position relative to start from position. In other words: range population count between from and pos == rank.

Parameters
rank- rank to find (bitcount)
from- start positioon for rank search
pos- position with speciefied rank (relative to from position)
Returns
true if requested rank was found

Definition at line 5159 of file bm.h.

References bm::block_find_rank(), BM_ASSERT, BM_ASSERT_THROW, BMNOEXCEPT, bm::gap_max_bits, bm::id_max, bm::set_block_mask, bm::set_block_shift, bm::set_block_size, and bm::set_total_blocks.

◆ find_rank() [2/2]

template<class Alloc>
bool bm::bvector< Alloc >::find_rank ( size_type rank,
size_type from,
size_type & pos,
const rs_index_type & rs_idx ) const

Find bit-vector position for the specified rank(bitcount).

Rank based search, counts number of 1s from specified position until finds the ranked position relative to start from position. In other words: range population count between from and pos == rank.

Parameters
rank- rank to find (bitcount)
from- start positioon for rank search
pos- position with speciefied rank (relative to from position)
rs_idx- rank-select index to accelarate search (should be prepared using build_rs_index)
See also
build_rs_index, select
Returns
true if requested rank was found

Definition at line 5212 of file bm.h.

References bm::block_find_rank(), BM_ASSERT, BM_ASSERT_THROW, BMNOEXCEPT, bm::id_max, bm::set_block_mask, bm::set_block_shift, and bm::set_block_size.

◆ find_reverse() [1/2]

template<class Alloc>
bool bm::bvector< Alloc >::find_reverse ( size_type & pos) const

Finds last index of 1 bit.

Parameters
pos- [out] index of the last found 1 bit
Returns
true if search returned result
See also
get_first, get_next, extract_next,
find, find_first_mismatch, find_range
Examples
sample15.cpp, and xsample09.cpp.

Definition at line 4911 of file bm.h.

References bm::bit_find_last(), BM_IS_GAP, BMGAP_PTR, BMNOEXCEPT, FULL_BLOCK_FAKE_ADDR, FULL_SUB_BLOCK_REAL_ADDR, bm::gap_find_last(), bm::gap_max_bits, and bm::set_sub_array_size.

Referenced by access_bench2(), access_bench3(), build_rs_index(), clear(), copy_range_no_check(), find_range(), keep(), main(), and sync_size().

◆ find_reverse() [2/2]

template<class Alloc>
bool bm::bvector< Alloc >::find_reverse ( size_type from,
size_type & pos ) const

Reverse finds next(prev) index of 1 bit.

Parameters
from- index to search from
pos- [out] found position index (undefined if method returns false)
Returns
true if search returned result
See also
get_first, get_next, extract_next,
find, find_first_mismatch, find_range

Definition at line 4968 of file bm.h.

References bm::bit_find_last(), bm::block_find_reverse(), BM_IS_GAP, BMGAP_PTR, BMNOEXCEPT, FULL_BLOCK_FAKE_ADDR, FULL_SUB_BLOCK_REAL_ADDR, bm::gap_find_last(), bm::gap_max_bits, bm::get_block_coord(), bm::get_block_start(), bm::set_block_mask, bm::set_block_shift, bm::set_sub_array_size, and test().

◆ first()

◆ flip() [1/2]

template<class Alloc>
bvector< Alloc > & bm::bvector< Alloc >::flip ( )
inline

Flips all bits.

Returns
*this
See also
invert

Definition at line 1280 of file bm.h.

◆ flip() [2/2]

template<class Alloc>
bvector< Alloc > & bm::bvector< Alloc >::flip ( size_type n)
inline

Flips bit n.

Returns
*this
Examples
sample12.cpp.

Definition at line 1273 of file bm.h.

Referenced by main().

◆ forget_count()

template<class Alloc>
void bm::bvector< Alloc >::forget_count ( )
inline

Disables count cache. (deprecated).

Definition at line 1482 of file bm.h.

◆ freeze()

template<class Alloc>
void bm::bvector< Alloc >::freeze ( )

Turn current vector to read-only (immutable vector).

After calling this method any modification (non-const methods) will cause undefined behavior (likely crash or assert)

See also
is_ro
Examples
sample26.cpp.

Definition at line 8058 of file bm.h.

References bvector(), is_ro(), bm::READONLY, and swap().

Referenced by main().

◆ gap_block_set()

template<class Alloc>
bool bm::bvector< Alloc >::gap_block_set ( bm::gap_word_t * gap_blk,
bool val,
block_idx_type nblock,
unsigned nbit )
protected

set bit in GAP block with GAP block length control

Definition at line 4714 of file bm.h.

References bm::gap_length(), bm::gap_limit(), and bm::gap_set_value().

Referenced by and_bit_no_check(), inc(), set_bit_conditional_impl(), and set_bit_no_check().

◆ gap_block_set_no_ret()

template<class Alloc>
void bm::bvector< Alloc >::gap_block_set_no_ret ( bm::gap_word_t * gap_blk,
bool val,
block_idx_type nblock,
unsigned nbit )
protected

set bit in GAP block with GAP block length control

Definition at line 4733 of file bm.h.

References bm::gap_length(), bm::gap_limit(), and bm::gap_set_value().

Referenced by clear_bit_no_check(), import_block(), set_bit_no_check(), and swap().

◆ get_allocator()

template<class Alloc>
Alloc bm::bvector< Alloc >::get_allocator ( ) const
inline

Definition at line 1034 of file bm.h.

◆ get_allocator_pool()

template<class Alloc>
allocator_pool_type * bm::bvector< Alloc >::get_allocator_pool ( )
inline

Get curent allocator pool (if set).

Returns
pointer to the current pool or NULL

Definition at line 1045 of file bm.h.

◆ get_bit()

template<typename Alloc>
bool bm::bvector< Alloc >::get_bit ( size_type n) const

returns true if bit n is set and false is bit n is 0.

Parameters
n- Index of the bit to check.
Returns
Bit value (1 or 0)

Definition at line 3602 of file bm.h.

References BM_ASSERT, BM_ASSERT_THROW, BM_IS_GAP, BMGAP_PTR, BMNOEXCEPT, FULL_BLOCK_FAKE_ADDR, bm::gap_test_unr(), bm::get_block_coord(), bm::set_block_mask, bm::set_block_shift, bm::set_word_mask, and bm::set_word_shift.

Referenced by bm::bvector< dbg_alloc >::operator[](), and bm::bvector< dbg_alloc >::test().

◆ get_blocks_manager() [1/2]

template<class Alloc>
blocks_manager_type & bm::bvector< Alloc >::get_blocks_manager ( )
inline

get access to memory manager (internal) Use only if you are BitMagic library

Definition at line 2066 of file bm.h.

◆ get_blocks_manager() [2/2]

template<class Alloc>
const blocks_manager_type & bm::bvector< Alloc >::get_blocks_manager ( ) const
inline

get access to memory manager (internal) Use only if you are BitMagic library

Definition at line 2058 of file bm.h.

Referenced by bit_and(), bit_or(), bit_or_and(), bit_sub(), bit_xor(), bm::combine_or(), bm::combine_xor(), bm::find_interval_start(), bm::for_each_bit(), and bm::for_each_bit_range_no_check().

◆ get_enumerator()

template<class Alloc>
enumerator bm::bvector< Alloc >::get_enumerator ( size_type pos) const
inline

Returns enumerator pointing on specified or the next available bit.

Examples
sample24.cpp, sample25.cpp, strsvsample06.cpp, and xsample09.cpp.

Definition at line 1883 of file bm.h.

Referenced by bm::bvector< dbg_alloc >::first(), main(), and verify_histograms().

◆ get_first()

template<class Alloc>
size_type bm::bvector< Alloc >::get_first ( ) const
inline

find first 1 bit in vector. Function may return 0 and this requires an extra check if bit 0 is actually set or bit-vector is empty

Returns
Index of the first 1 bit, may return 0
See also
get_next, find, extract_next, find_reverse
Examples
sample1.cpp, sample2.cpp, and xsample07a.cpp.

Definition at line 1600 of file bm.h.

Referenced by main(), print_bvector(), and CSeqClusters::take_group().

◆ get_new_blocks_strat()

template<class Alloc>
strategy bm::bvector< Alloc >::get_new_blocks_strat ( ) const
inline

Returns blocks allocation strategy.

Returns
- Strategy code 0 - bitblocks allocation only. 1 - Blocks mutation mode (adaptive algorithm)
See also
set_new_blocks_strat

Definition at line 1920 of file bm.h.

Referenced by and_bit_no_check(), clear_bit_no_check(), inc(), insert(), set_bit_conditional_impl(), set_bit_no_check(), and set_bit_no_check().

◆ get_next()

template<class Alloc>
size_type bm::bvector< Alloc >::get_next ( size_type prev) const
inline

Finds the number of the next bit ON.

Parameters
prev- Index of the previously found bit.
Returns
Index of the next bit which is ON or 0 if not found.
See also
get_first, find, extract_next, find_reverse
Examples
sample1.cpp, and sample2.cpp.

Definition at line 1609 of file bm.h.

Referenced by main(), and print_bvector().

◆ import()

template<class Alloc>
void bm::bvector< Alloc >::import ( const size_type * ids,
size_type ids_size,
bm::sort_order sorted_idx )

Import integers (set bits).

(Fast, no checks).

Definition at line 4245 of file bm.h.

References BM_ASSERT, bm::BM_SORTED, bm::get_block_coord(), bm::idx_arr_block_lookup_u32(), bm::idx_arr_block_lookup_u64(), import_block(), is_ro(), and bm::set_block_shift.

Referenced by clear(), and keep().

◆ import_block()

◆ import_sorted()

template<class Alloc>
void bm::bvector< Alloc >::import_sorted ( const size_type * ids,
const size_type ids_size,
bool opt_flag )

◆ inc()

template<class Alloc>
bool bm::bvector< Alloc >::inc ( size_type n)

Increment the specified element.

Bit increment rules: 0 + 1 = 1 (no carry over) 1 + 1 = 0 (with carry over returned)

Parameters
n- index of the bit to be set
Returns
TRUE if carry over created (1+1)

Definition at line 4751 of file bm.h.

References BM_ASSERT, BM_IS_GAP, BMGAP_PTR, gap_block_set(), bm::gap_test_unr(), get_new_blocks_strat(), is_ro(), IS_VALID_ADDR, bm::set_block_mask, bm::set_block_shift, bm::set_word_mask, and bm::set_word_shift.

Referenced by bm::bvector< dbg_alloc >::flip().

◆ init() [1/2]

template<typename Alloc>
void bm::bvector< Alloc >::init ( )

Explicit post-construction initialization. Must be caled to make sure safe use of *_no_check() methods.

Examples
sample12.cpp, svsample06.cpp, and xsample03.cpp.

Definition at line 2280 of file bm.h.

References BM_ASSERT, and is_ro().

Referenced by build_rs_index(), bv_set_bit_no_check_test(), bm::bvector< dbg_alloc >::bvector(), bm::basic_bmatrix< BV >::construct_bvector(), fill_alloc_digest(), load_snp_report(), main(), run_benchmark(), and vector_search().

◆ init() [2/2]

template<typename Alloc>
void bm::bvector< Alloc >::init ( unsigned top_size,
bool alloc_subs )

Explicit post-construction initialization. Must be caled right after construction strickly before any modificating calls to make sure safe use of *_no_check() methods. This init can do pre-allocation of top level structures.

Parameters
top_size- request to do pre-allocation of the top level of a sparse bit-vector tree (can be up to 256 for 32-bit mode)
alloc_subs- if true also allocates second level structures

Definition at line 2289 of file bm.h.

References BM_ASSERT, and is_ro().

◆ insert()

template<class Alloc>
bool bm::bvector< Alloc >::insert ( size_type n,
bool value )

Insert bit into specified position All the vector content after insert position is shifted right.

Parameters
n- index of the bit to insert
value- insert value
Returns
Carry over bit value (1 or 0)
Examples
sample20.cpp.

Definition at line 5443 of file bm.h.

References bm::bit_block_insert(), bm::bit_block_shift_r1_unr(), BM_ASSERT, BM_ASSERT_THROW, BM_IS_GAP, BMGAP_PTR, FULL_BLOCK_FAKE_ADDR, bm::gap_insert(), bm::gap_limit(), bm::gap_max_bits, bm::gap_shift_r1(), bm::get_block_coord(), get_new_blocks_strat(), bm::id_max, IS_FULL_BLOCK, is_ro(), IS_VALID_ADDR, set(), set_bit_no_check(), bm::set_block_mask, bm::set_block_shift, bm::set_block_size, bm::set_sub_array_size, bm::set_top_array_size, bm::set_total_blocks, and bm::bvector< Alloc >::enumerator::value().

Referenced by main(), and shift_right().

◆ inserter()

template<class Alloc>
insert_iterator bm::bvector< Alloc >::inserter ( )
inline

Function erturns insert iterator for this bitvector

Examples
bv3vlogic.cpp, sample18.cpp, and sample8.cpp.

Definition at line 1287 of file bm.h.

Referenced by main(), and Set3VL_ValueDemo2().

◆ invert()

template<typename Alloc>
bvector< Alloc > & bm::bvector< Alloc >::invert ( )

◆ is_all_one_range()

template<typename Alloc>
bool bm::bvector< Alloc >::is_all_one_range ( size_type left,
size_type right ) const

Returns true if all bits in the range are 1s (saturated interval) Function uses closed interval [left, right].

Parameters
left- index of first bit start checking
right- index of last bit
Returns
true if all bits are 1, false otherwise
See also
any_range, count_range

Definition at line 3338 of file bm.h.

References bm::block_is_all_one_range(), BM_ASSERT, BMNOEXCEPT, bm::check_block_one(), FULL_BLOCK_FAKE_ADDR, bm::gap_max_bits, bm::get_block_coord(), bm::id_max, bm::set_block_mask, bm::set_block_shift, bm::set_sub_array_size, test(), and bm::xor_swap().

Referenced by main().

◆ is_init()

template<class Alloc>
bool bm::bvector< Alloc >::is_init ( ) const
inline

Return true if bvector is initialized at all.

Definition at line 1983 of file bm.h.

◆ is_ro()

◆ keep()

template<class Alloc>
void bm::bvector< Alloc >::keep ( const size_type * ids,
size_type ids_size,
bm::sort_order so = bm::BM_UNKNOWN )

Keep list of bits in this bitset, others are cleared.

This is equivalent of AND (Set Intersect), argument set as an array.

Parameters
ids- pointer on array of indexes to set
ids_size- size of the input (ids)
so- sort order (use BM_SORTED for faster load)
See also
set, clear
Examples
bvsetalgebra.cpp.

Definition at line 4105 of file bm.h.

References bit_and(), BM_ASSERT, bvector(), clear(), find_reverse(), import(), is_ro(), and resize().

Referenced by DemoAND().

◆ keep_range()

template<class Alloc>
void bm::bvector< Alloc >::keep_range ( size_type left,
size_type right )

Sets all bits to zero outside of the closed interval [left,right] Expected result: 00000...0[left, right]0....0000.

Parameters
left- interval start
right- interval end (closed interval)
See also
set_range

Definition at line 2353 of file bm.h.

References BM_ASSERT, is_ro(), and bm::xor_swap().

Referenced by main().

◆ merge()

template<class Alloc>
void bm::bvector< Alloc >::merge ( bm::bvector< Alloc > & bvect)

Merge/move content from another vector.

Merge performs a logical OR operation, but the source vector is not immutable. Source content gets destroyed (memory moved) to create a union of two vectors. Merge operation can be more efficient than OR if argument is a temporary vector.

Parameters
bvect- [in, out] - source vector (NOT immutable)
Examples
bvsetalgebra.cpp, sample19.cpp, and xsample07a.cpp.

Definition at line 5816 of file bm.h.

References bit_or(), BM_ASSERT, combine_operation_block_or(), FULL_BLOCK_FAKE_ADDR, is_ro(), and bm::set_sub_array_size.

Referenced by CKMerAcc::add(), DemoOR(), and main().

◆ move_from()

template<typename Alloc>
void bm::bvector< Alloc >::move_from ( bvector< Alloc > & bvect)

Move bvector content from another bvector.

Definition at line 2340 of file bm.h.

References BMNOEXCEPT, and bvector().

Referenced by bm::bvector< dbg_alloc >::operator=().

◆ none()

template<class Alloc>
bool bm::bvector< Alloc >::none ( ) const
inline

Returns true if no bits are set, otherwise returns false.

Definition at line 1556 of file bm.h.

◆ operator!=()

template<class Alloc>
bool bm::bvector< Alloc >::operator!= ( const bvector< Alloc > & bv) const
inline

Definition at line 1030 of file bm.h.

◆ operator&=()

template<class Alloc>
void bm::bvector< Alloc >::operator&= ( const bvector< Alloc > & bv)
inline

Definition at line 1020 of file bm.h.

◆ operator-=()

template<class Alloc>
void bm::bvector< Alloc >::operator-= ( const bvector< Alloc > & bv)
inline

Definition at line 1023 of file bm.h.

◆ operator<()

template<class Alloc>
bool bm::bvector< Alloc >::operator< ( const bvector< Alloc > & bv) const
inline

Definition at line 1025 of file bm.h.

◆ operator<=()

template<class Alloc>
bool bm::bvector< Alloc >::operator<= ( const bvector< Alloc > & bv) const
inline

Definition at line 1026 of file bm.h.

◆ operator=() [1/2]

template<class Alloc>
bvector & bm::bvector< Alloc >::operator= ( bvector< Alloc > && bvect)
inline

Move assignment operator.

Definition at line 965 of file bm.h.

◆ operator=() [2/2]

template<class Alloc>
bvector & bm::bvector< Alloc >::operator= ( const bvector< Alloc > & bvect)
inline

Copy assignment operator.

Definition at line 930 of file bm.h.

◆ operator==()

template<class Alloc>
bool bm::bvector< Alloc >::operator== ( const bvector< Alloc > & bv) const
inline

Definition at line 1029 of file bm.h.

◆ operator>()

template<class Alloc>
bool bm::bvector< Alloc >::operator> ( const bvector< Alloc > & bv) const
inline

Definition at line 1027 of file bm.h.

◆ operator>=()

template<class Alloc>
bool bm::bvector< Alloc >::operator>= ( const bvector< Alloc > & bv) const
inline

Definition at line 1028 of file bm.h.

◆ operator[]() [1/2]

template<class Alloc>
reference bm::bvector< Alloc >::operator[] ( size_type n)
inline

Definition at line 1004 of file bm.h.

◆ operator[]() [2/2]

template<class Alloc>
bool bm::bvector< Alloc >::operator[] ( size_type n) const
inline

Definition at line 1014 of file bm.h.

◆ operator^=()

template<class Alloc>
void bm::bvector< Alloc >::operator^= ( const bvector< Alloc > & bv)
inline

Definition at line 1021 of file bm.h.

◆ operator|=()

template<class Alloc>
void bm::bvector< Alloc >::operator|= ( const bvector< Alloc > & bv)
inline

Definition at line 1022 of file bm.h.

◆ operator~()

template<class Alloc>
bvector< Alloc > bm::bvector< Alloc >::operator~ ( ) const
inline

Definition at line 1032 of file bm.h.

◆ optimize()

template<typename Alloc>
void bm::bvector< Alloc >::optimize ( bm::word_t * temp_block = 0,
optmode opt_mode = opt_compress,
statistics * stat = 0 )

Optimize memory bitvector's memory allocation.

Function analyze all blocks in the bitvector, compresses blocks with a regular structure, frees some memory. This function is recommended after a bulk modification of the bitvector using set_bit, clear_bit or logical operations.

Optionally function can calculate vector post optimization statistics

Parameters
temp_block- externally allocated temp buffer for optimization BM_DECLARE_TEMP_BLOCK(tb) if NULL - it will allocated (and de-allocated upon exit)
opt_mode- optimization level
stat- statistics of memory consumption and serialization stat can also be computed by calc_stat() but it would require an extra pass
See also
optmode, optimize_gap_size, calc_stat
Examples
bv3vlogic.cpp, bvsetalgebra.cpp, inv_list.cpp, sample11.cpp, sample14.cpp, sample21.cpp, sample23.cpp, sample25.cpp, sample26.cpp, sample3.cpp, sample4.cpp, xsample01.cpp, xsample07.cpp, and xsample07a.cpp.

Definition at line 3635 of file bm.h.

References BM_ASSERT, calc_stat(), bm::bv_statistics::gap_levels, bm::gap_levels, is_ro(), bm::bv_statistics::max_serialize_mem, bm::bv_statistics::memory_used, and bm::bv_statistics::reset().

Referenced by compute_seq_group_union(), generate_bvector(), generate_k_mers(), GenerateDemoVector(), main(), main(), make_BLOB(), serialize_bvector(), Set3VL_ValueDemo(), Set3VL_ValueDemo2(), speed_test_bv_index(), speed_test_bvs_index(), speed_test_sv_index(), speed_test_vect_index(), and write_as_bvector().

◆ optimize_gap_size()

template<typename Alloc>
void bm::bvector< Alloc >::optimize_gap_size ( )

Optimize sizes of GAP blocks.

This method runs an analysis to find optimal GAP levels for the specific vector. Current GAP compression algorithm uses several fixed GAP sizes. By default bvector uses some reasonable preset.

Definition at line 3700 of file bm.h.

References bvector(), calc_stat(), bm::gap_levels, bm::improve_gap_levels(), and set_gap_levels().

◆ optimize_range()

template<typename Alloc>
void bm::bvector< Alloc >::optimize_range ( size_type left,
size_type right,
bm::word_t * temp_block,
optmode opt_mode = opt_compress )

Run partial vector optimization for the area [left..right] (specified in bit coordinates)

Parameters
left- bit index to optimize from (approximate, rounded up to a nearest block)
right- bit index to optimize to Please note that left and right define range in bit coordinates but later rounded to blocks
temp_block- external scratch memory (MUST be pre-allocated)
opt_mode- optimization level
See also
optimize

Definition at line 3671 of file bm.h.

References BM_ASSERT, bm::get_block_coord(), is_ro(), and bm::set_block_shift.

◆ rank()

template<class Alloc>
size_type bm::bvector< Alloc >::rank ( size_type n,
const rs_index_type & rs_idx ) const
inline

Returns rank of specified bit position (same as count_to()).

Parameters
n- index of bit to rank
rs_idx- rank-select index
Returns
population count in the range [0..n]
See also
build_rs_index
count_to_test, select, rank, rank_corrected
Examples
sample17.cpp.

Definition at line 1433 of file bm.h.

Referenced by main(), bm::bvector< Alloc >::enumerator::skip(), and bm::bvector< Alloc >::enumerator::skip_to_rank().

◆ rank_corrected()

template<typename Alloc>
bvector< Alloc >::size_type bm::bvector< Alloc >::rank_corrected ( size_type n,
const rs_index_type & rs_idx ) const

Returns rank corrceted by the requested border value (as -1).

This is rank function (bit-count) minus value of bit 'n' if bit-n is true function returns rank()-1 if false returns rank() faster than rank() + test().

Parameters
n- index of bit to rank
rs_idx- rank-select index
Returns
population count in the range [0..n] corrected as -1 by the value of n
See also
build_rs_index
count_to_test, select, rank
Examples
sample17.cpp.

Definition at line 3197 of file bm.h.

References BM_ASSERT, BM_IS_GAP, BMGAP_PTR, BMNOEXCEPT, FULL_BLOCK_FAKE_ADDR, bm::gap_bit_count_to(), bm::get_block_coord(), bm::id_max, bm::set_block_mask, bm::set_block_shift, bm::set_word_mask, and bm::set_word_shift.

Referenced by main().

◆ recalc_count()

template<class Alloc>
size_type bm::bvector< Alloc >::recalc_count ( )
inline

Recalculate bitcount (deprecated)

Definition at line 1477 of file bm.h.

◆ reset()

template<class Alloc>
bvector< Alloc > & bm::bvector< Alloc >::reset ( )
inline

Clears every bit in the bitvector.

Returns
*this;
Examples
sample12.cpp, and svsample06.cpp.

Definition at line 1267 of file bm.h.

Referenced by bv_set_bit_test(), generate_test_set(), and main().

◆ resize()

template<typename Alloc>
void bm::bvector< Alloc >::resize ( size_type new_size)

◆ select()

template<class Alloc>
bool bm::bvector< Alloc >::select ( size_type rank,
size_type & pos,
const rs_index_type & rs_idx ) const

select bit-vector position for the specified rank(bitcount)

Rank based search, counts number of 1s from specified position until finds the ranked position relative to start from position. Uses In other words: range population count between from and pos == rank.

Parameters
rank- rank to find (bitcount)
pos- position with speciefied rank (relative to from position) [out]
rs_idx- block count structure to accelerate rank search
See also
running_count_blocks, find_rank
Returns
true if requested rank was found
Examples
sample17.cpp.

Definition at line 5283 of file bm.h.

References bm::block_find_rank(), BM_ASSERT, BMNOEXCEPT, FULL_BLOCK_FAKE_ADDR, bm::gap_max_bits, bm::get_block_coord(), and bm::set_block_size.

Referenced by main().

◆ set() [1/3]

template<class Alloc>
bvector< Alloc > & bm::bvector< Alloc >::set ( )

Sets every bit in this bitset to 1.

Returns
*this

Definition at line 4177 of file bm.h.

References BM_ASSERT, bvector(), is_ro(), and set_range().

Referenced by insert().

◆ set() [2/3]

template<class Alloc>
void bm::bvector< Alloc >::set ( const size_type * ids,
size_type ids_size,
bm::sort_order so = bm::BM_UNKNOWN )

Set list of bits in this bitset to 1.

Method implements optimized bulk setting of multiple bits at once. The best results are achieved when the imput comes sorted. This is equivalent of OR (Set Union), argument set as an array.

Parameters
ids- pointer on array of indexes to set
ids_size- size of the input (ids)
so- sort order (use BM_SORTED for faster load)
See also
keep, clear

Definition at line 4088 of file bm.h.

References BM_ASSERT, is_ro(), and sync_size().

◆ set() [3/3]

template<class Alloc>
bvector< Alloc > & bm::bvector< Alloc >::set ( size_type n,
bool val = true )

◆ set_allocator_pool()

template<class Alloc>
void bm::bvector< Alloc >::set_allocator_pool ( allocator_pool_type * pool_ptr)
inline

Set allocator pool for local (non-th readed) memory cyclic(lots of alloc-free ops) opertations.

Examples
xsample07a.cpp.

Definition at line 1040 of file bm.h.

Referenced by assign_to_best_cluster(), and assign_to_best_cluster_union().

◆ set_bit()

template<class Alloc>
bool bm::bvector< Alloc >::set_bit ( size_type n,
bool val = true )

Sets bit n.

Parameters
n- index of the bit to be set.
val- new bit value
Returns
TRUE if bit was changed
Examples
sample12.cpp, sample3.cpp, sample4.cpp, and xsample01.cpp.

Definition at line 4227 of file bm.h.

References BM_ASSERT, BM_ASSERT_THROW, bm::id_max, is_ro(), resize(), and set_bit_no_check().

Referenced by bv_set_bit_test(), bm::bvector< dbg_alloc >::clear_bit(), fill_bvector(), fill_bvector(), generate_random_vector(), main(), and set().

◆ set_bit_and()

template<class Alloc>
bool bm::bvector< Alloc >::set_bit_and ( size_type n,
bool val = true )

Sets bit n using bit AND with the provided value.

Parameters
n- index of the bit to be set.
val- new bit value
Returns
TRUE if bit was changed

Definition at line 4213 of file bm.h.

References and_bit_no_check(), BM_ASSERT, BM_ASSERT_THROW, and is_ro().

◆ set_bit_conditional()

template<class Alloc>
bool bm::bvector< Alloc >::set_bit_conditional ( size_type n,
bool val,
bool condition )

Sets bit n only if current value equals the condition.

Parameters
n- index of the bit to be set.
val- new bit value
condition- expected current value
Returns
TRUE if bit was changed
Examples
sample12.cpp.

Definition at line 4199 of file bm.h.

References bm::id_max, resize(), and set_bit_conditional_impl().

Referenced by main().

◆ set_bit_conditional_impl()

template<class Alloc>
bool bm::bvector< Alloc >::set_bit_conditional_impl ( size_type n,
bool val,
bool condition )
protected

◆ set_bit_no_check() [1/2]

template<class Alloc>
void bm::bvector< Alloc >::set_bit_no_check ( size_type n)

Set bit without checking preconditions (size, etc).

Fast set bit method, without safety net. Make sure you call bvector<>::init() before setting bits with this function.

Parameters
n- bit number
Examples
sample12.cpp, svsample06.cpp, and xsample03.cpp.

Definition at line 4646 of file bm.h.

References BM_ASSERT, BM_ASSERT_THROW, BMGAP_PTR, gap_block_set_no_ret(), get_new_blocks_strat(), bm::id_max, is_ro(), IS_VALID_ADDR, bm::set_block_mask, bm::set_block_shift, bm::set_word_mask, and bm::set_word_shift.

Referenced by build_rs_index(), bv_set_bit_no_check_test(), bm::bvector< dbg_alloc >::bvector(), erase(), fill_alloc_digest(), insert(), invert(), load_snp_report(), main(), run_benchmark(), set_bit(), swap(), and vector_search().

◆ set_bit_no_check() [2/2]

template<class Alloc>
bool bm::bvector< Alloc >::set_bit_no_check ( size_type n,
bool val )

Set specified bit without checking preconditions (size, etc).

Definition at line 4597 of file bm.h.

References BM_ASSERT, BM_ASSERT_THROW, BMGAP_PTR, gap_block_set(), get_new_blocks_strat(), bm::id_max, is_ro(), IS_VALID_ADDR, bm::set_block_mask, bm::set_block_shift, bm::set_word_mask, and bm::set_word_shift.

◆ set_gap_levels()

template<typename Alloc>
void bm::bvector< Alloc >::set_gap_levels ( const gap_word_t * glevel_len)

Sets new GAP lengths table. All GAP blocks will be reallocated to match the new scheme.

Parameters
glevel_len- pointer on C-style array keeping GAP block sizes.

Definition at line 3726 of file bm.h.

References BM_ASSERT, bvector(), bm::for_each_nzblock(), is_ro(), and set_gap_levels().

Referenced by optimize_gap_size(), and set_gap_levels().

◆ set_new_blocks_strat()

template<class Alloc>
void bm::bvector< Alloc >::set_new_blocks_strat ( strategy strat)
inline

Sets new blocks allocation strategy.

Parameters
strat- Strategy code 0 - bitblocks allocation only. 1 - Blocks mutation mode (adaptive algorithm)
Examples
sample3.cpp, and sample4.cpp.

Definition at line 1912 of file bm.h.

Referenced by main().

◆ set_range()

template<typename Alloc>
bvector< Alloc > & bm::bvector< Alloc >::set_range ( size_type left,
size_type right,
bool value = true )

Sets all bits in the specified closed interval [left,right] Interval must be inside the bvector's size. This method DOES NOT resize vector.

Parameters
left- interval start
right- interval end (closed interval)
value- value to set interval in
Returns
*this
See also
clear_range
Examples
sample11.cpp, sample12.cpp, sample23.cpp, strsvsample05.cpp, strsvsample07.cpp, xsample07a.cpp, and xsample08.cpp.

Definition at line 2368 of file bm.h.

References BM_ASSERT, BM_ASSERT_THROW, bvector(), clear_range_no_check(), bm::id_max, is_ro(), resize(), set_range(), set_range_no_check(), and bm::bvector< Alloc >::enumerator::value().

Referenced by add_object(), bv_count_and(), bm::bvector< dbg_alloc >::clear_range(), combine_operation(), compute_jaccard_clusters(), generate_bvector(), main(), main(), resize(), set(), and set_range().

◆ set_range_no_check()

template<class Alloc>
void bm::bvector< Alloc >::set_range_no_check ( size_type left,
size_type right )

Set range without validity/bounds checking.

Definition at line 7830 of file bm.h.

References bm::bits_in_block, BM_ASSERT, BM_IS_GAP, bm::BM_OR, combine_operation_with_block(), bm::gap_init_range_block(), bm::get_block_coord(), bm::set_block_mask, and bm::set_block_shift.

Referenced by build_rs_index(), and set_range().

◆ shift_left()

template<class Alloc>
bool bm::bvector< Alloc >::shift_left ( )

Shift left by 1 bit, fill with zero return carry out.

Returns
Carry over bit value (1 or 0)
Examples
sample21.cpp.

Definition at line 5432 of file bm.h.

References BM_ASSERT, erase(), is_ro(), and test().

Referenced by main().

◆ shift_right()

template<class Alloc>
bool bm::bvector< Alloc >::shift_right ( )

Shift right by 1 bit, fill with zero return carry out.

Returns
Carry over bit value (1 or 0)
Examples
sample20.cpp.

Definition at line 5423 of file bm.h.

References BM_ASSERT, insert(), and is_ro().

Referenced by DNA_FingerprintScanner< bm::bvector<> >::Find(), and main().

◆ size()

template<class Alloc>
size_type bm::bvector< Alloc >::size ( ) const
inline

Returns bvector's capacity (number of bits it can store).

return current size of the vector (bits)

Examples
bvsetalgebra.cpp, and xsample05.cpp.

Definition at line 1300 of file bm.h.

Referenced by bm::combine_or(), generate_k_mers(), print_bvector(), and run_benchmark().

◆ swap() [1/2]

template<typename Alloc>
void bm::bvector< Alloc >::swap ( bvector< Alloc > & bvect)

Exchanges content of bv and this bvector.

Examples
sample1.cpp, sample12.cpp, sample26.cpp, and xsample07a.cpp.

Definition at line 3966 of file bm.h.

References BMNOEXCEPT, bvector(), and bm::xor_swap().

Referenced by freeze(), main(), and CSeqClusters::take_group().

◆ swap() [2/2]

template<class Alloc>
void bm::bvector< Alloc >::swap ( size_type idx1,
size_type idx2 )

◆ sync_size()

template<typename Alloc>
void bm::bvector< Alloc >::sync_size ( )
protected

Syncronize size if it got extended due to bulk import.

Definition at line 2486 of file bm.h.

References BM_ASSERT, find_reverse(), bm::id_max, is_ro(), and resize().

Referenced by set().

◆ test()

template<class Alloc>
bool bm::bvector< Alloc >::test ( size_type n) const
inline

returns true if bit n is set and false is bit n is 0.

Parameters
n- Index of the bit to check.
Returns
Bit value (1 or 0)
Examples
bv3vlogic.cpp, sample1.cpp, sample15.cpp, sample18a.cpp, svsample06.cpp, svsample07a.cpp, xsample03.cpp, xsample05.cpp, and xsample07a.cpp.

Definition at line 1502 of file bm.h.

Referenced by any_range(), compute_group(), count_range_no_check(), CSeqClusters::elect_leaders(), erase(), find_reverse(), is_all_one_range(), load_snp_report(), main(), pick_benchmark_set(), PrintKleeneVector(), and shift_left().

◆ throw_bad_alloc()

template<class Alloc>
void bm::bvector< Alloc >::throw_bad_alloc ( )
static

Definition at line 8069 of file bm.h.

◆ aggregator

template<class Alloc>
template<class BV>
friend class aggregator
friend

Definition at line 794 of file bm.h.

◆ deserializer

template<class Alloc>
template<class BV, class DEC>
friend class deserializer
friend

Definition at line 796 of file bm.h.

◆ enumerator

template<class Alloc>
friend class enumerator
friend

◆ iterator_base

template<class Alloc>
friend class iterator_base
friend

Definition at line 792 of file bm.h.

◆ operation_deserializer

template<class Alloc>
template<class BV>
friend class operation_deserializer
friend

Definition at line 795 of file bm.h.


The documentation for this class was generated from the following file: