dlvhex  2.5.0
Small sets functionality
Collaboration diagram for Small sets functionality:

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...

Detailed Description

Templates in this group are used to keep block types in BM library. Classes of this group can tune bvector template (MS parameter) for best performance or minimal memory usage.