extractor/veb_bitset.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

#ifndef _VEB_BITSET_H_
#define _VEB_BITSET_H_

#include <boost/dynamic_bitset.hpp>

#include "veb.h"

class VEBBitset: public VEB {
 public:
  VEBBitset(int size);

  void Insert(int value);

  int GetMinimum();

  int GetSuccessor(int value);

 private:
  boost::dynamic_bitset<> bitset;
};

#endif