1 files changed, 22 insertions, 0 deletions
diff --git a/extractor/veb_bitset.h b/extractor/veb_bitset.h
new file mode 100644
index 00000000..f8a91234
--- /dev/null
+++ b/extractor/veb_bitset.h
@@ -0,0 +1,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