dlvhex
2.5.0
|
Bitcounting functor filling the block counts array. More...
#include <vs10/bm/bmblocks.h>
Public Member Functions | |
block_count_arr_func (const blocks_manager &bm, unsigned *arr) | |
void | operator() (const bm::word_t *block, unsigned idx) |
unsigned | last_block () const |
block_count_arr_func (const blocks_manager &bm, unsigned *arr) | |
void | operator() (const bm::word_t *block, unsigned idx) |
unsigned | last_block () const |
Private Attributes | |
unsigned * | arr_ |
unsigned | last_idx_ |
Bitcounting functor filling the block counts array.
Definition at line 123 of file bmblocks.h.
bm::blocks_manager< Alloc >::block_count_arr_func::block_count_arr_func | ( | const blocks_manager & | bm, |
unsigned * | arr | ||
) | [inline] |
Definition at line 126 of file bmblocks.h.
References bm::blocks_manager< Alloc >::block_count_arr_func::arr_.
bm::blocks_manager< Alloc >::block_count_arr_func::block_count_arr_func | ( | const blocks_manager & | bm, |
unsigned * | arr | ||
) | [inline] |
Definition at line 126 of file bmblocks.h.
References bm::blocks_manager< Alloc >::block_count_arr_func::arr_.
unsigned bm::blocks_manager< Alloc >::block_count_arr_func::last_block | ( | ) | const [inline] |
Definition at line 142 of file bmblocks.h.
References bm::blocks_manager< Alloc >::block_count_arr_func::last_idx_.
Referenced by bm::bvector< Alloc >::count_blocks().
unsigned bm::blocks_manager< Alloc >::block_count_arr_func::last_block | ( | ) | const [inline] |
Definition at line 142 of file bmblocks.h.
References bm::blocks_manager< Alloc >::block_count_arr_func::last_idx_.
void bm::blocks_manager< Alloc >::block_count_arr_func::operator() | ( | const bm::word_t * | block, |
unsigned | idx | ||
) | [inline] |
Definition at line 132 of file bmblocks.h.
References bm::blocks_manager< Alloc >::block_count_arr_func::arr_, bm::blocks_manager< Alloc >::block_count_base::block_count(), and bm::blocks_manager< Alloc >::block_count_arr_func::last_idx_.
void bm::blocks_manager< Alloc >::block_count_arr_func::operator() | ( | const bm::word_t * | block, |
unsigned | idx | ||
) | [inline] |
Definition at line 132 of file bmblocks.h.
References bm::blocks_manager< Alloc >::block_count_arr_func::arr_, bm::blocks_manager< Alloc >::block_count_base::block_count(), and bm::blocks_manager< Alloc >::block_count_arr_func::last_idx_.
unsigned * bm::blocks_manager< Alloc >::block_count_arr_func::arr_ [private] |
Definition at line 145 of file bmblocks.h.
Referenced by bm::blocks_manager< Alloc >::block_count_arr_func::block_count_arr_func(), and bm::blocks_manager< Alloc >::block_count_arr_func::operator()().
unsigned bm::blocks_manager< Alloc >::block_count_arr_func::last_idx_ [private] |
Definition at line 146 of file bmblocks.h.
Referenced by bm::blocks_manager< Alloc >::block_count_arr_func::last_block(), and bm::blocks_manager< Alloc >::block_count_arr_func::operator()().