dlvhex  2.5.0
vs10/bm/bmvmin.h File Reference

Go to the source code of this file.

Data Structures

class  bm::miniset< A, N >
 Template class implements memory saving set functionality. More...
class  bm::bvmini< N >
 Mini bitvector used in bvector template to keep block type flags. More...
class  bm::bvector_mini< A >
 Bitvector class with very limited functionality. More...

Namespaces

namespace  bm

Defines

#define BM_MINISET_GAPLEN   (bm::gap_len_table<true>::_len[0])
#define BM_MINISET_ARRSIZE(x)   ((x / 32) + ( (x % 32) && 1 ))

Define Documentation