Add BoundedBitVec

3 files changed, 36 insertions, 1 deletions

diff --git a/test/test_bitvec.cpp b/test/test_bitvec.cpp
index ffdf823..1596042 100644
--- a/test/test_bitvec.cpp
+++ b/test/test_bitvec.cpp
@@ -19,6 +19,7 @@
 
 #include "test_utils.hpp"
 
+#include "chilbert/BoundedBitVec.hpp"
 #include "chilbert/DynamicBitVec.hpp"
 #include "chilbert/SmallBitVec.hpp"
 #include "chilbert/StaticBitVec.hpp"
@@ -359,5 +360,16 @@ main()
 	test<chilbert::StaticBitVec<65>, 65>(ctx);
 	test<chilbert::StaticBitVec<997>, 997>(ctx);
 
+	test<chilbert::BoundedBitVec<0>, 0>(ctx);
+	test<chilbert::BoundedBitVec<1>, 1>(ctx);
+	test<chilbert::BoundedBitVec<31>, 31>(ctx);
+	test<chilbert::BoundedBitVec<32>, 32>(ctx);
+	test<chilbert::BoundedBitVec<64>, 33>(ctx);
+	test<chilbert::BoundedBitVec<64>, 63>(ctx);
+	test<chilbert::BoundedBitVec<64>, 64>(ctx);
+	test<chilbert::BoundedBitVec<128>, 65>(ctx);
+	test<chilbert::BoundedBitVec<997>, 997>(ctx);
+	test<chilbert::BoundedBitVec<2048>, 997>(ctx);
+
 	return 0;
 }
diff --git a/test/test_gray_code_rank.cpp b/test/test_gray_code_rank.cpp
index ed31d44..0c06a33 100644
--- a/test/test_gray_code_rank.cpp
+++ b/test/test_gray_code_rank.cpp
@@ -19,6 +19,7 @@
 
 #include "test_utils.hpp"
 
+#include "chilbert/BoundedBitVec.hpp"
 #include "chilbert/DynamicBitVec.hpp"
 #include "chilbert/GrayCodeRank.hpp"
 #include "chilbert/SmallBitVec.hpp"
@@ -148,5 +149,15 @@ main()
 	test<chilbert::StaticBitVec<65>, 96, 65>(ctx);
 	test<chilbert::StaticBitVec<997>, 1024, 997>(ctx);
 
+	test<chilbert::BoundedBitVec<1>, 64, 1>(ctx);
+	test<chilbert::BoundedBitVec<31>, 64, 31>(ctx);
+	test<chilbert::BoundedBitVec<32>, 64, 32>(ctx);
+	test<chilbert::BoundedBitVec<64>, 64, 33>(ctx);
+	test<chilbert::BoundedBitVec<64>, 64, 60>(ctx);
+	test<chilbert::BoundedBitVec<64>, 64, 64>(ctx);
+	test<chilbert::BoundedBitVec<128>, 96, 65>(ctx);
+	test<chilbert::BoundedBitVec<997>, 1024, 997>(ctx);
+	test<chilbert::BoundedBitVec<2048>, 1024, 997>(ctx);
+
 	return 0;
 }
diff --git a/test/test_hilbert.cpp b/test/test_hilbert.cpp
index 3abcdd5..ad99454 100644
--- a/test/test_hilbert.cpp
+++ b/test/test_hilbert.cpp
@@ -19,9 +19,10 @@
 
 #include "test_utils.hpp"
 
+#include "chilbert/BoundedBitVec.hpp"
 #include "chilbert/DynamicBitVec.hpp"
-#include "chilbert/SmallBitVec.hpp"
 #include "chilbert/Hilbert.hpp"
+#include "chilbert/SmallBitVec.hpp"
 #include "chilbert/StaticBitVec.hpp"
 
 #include <gmpxx.h>
@@ -194,6 +195,17 @@ main()
 	test_standard<chilbert::StaticBitVec<32 * 64>, 32, 64>(ctx);
 	test_standard<chilbert::StaticBitVec<63 * 128>, 63, 128>(ctx);
 
+	test_standard<chilbert::BoundedBitVec<4 * 2>, 4, 2>(ctx);
+	test_standard<chilbert::BoundedBitVec<32 * 2>, 32, 2>(ctx);
+	test_standard<chilbert::BoundedBitVec<16 * 4>, 16, 4>(ctx);
+	test_standard<chilbert::BoundedBitVec<8 * 8>, 8, 8>(ctx);
+	test_standard<chilbert::BoundedBitVec<4 * 16>, 4, 16>(ctx);
+	test_standard<chilbert::BoundedBitVec<2 * 32>, 2, 32>(ctx);
+	test_standard<chilbert::BoundedBitVec<1 * 64>, 1, 64>(ctx);
+	test_standard<chilbert::BoundedBitVec<4 * 128>, 4, 65>(ctx);
+	test_standard<chilbert::BoundedBitVec<32 * 128>, 32, 64>(ctx);
+	test_standard<chilbert::BoundedBitVec<63 * 128>, 63, 128>(ctx);
+
 	test_compact<chilbert::SmallBitVec, 4, 2>(ctx);
 	test_compact<chilbert::SmallBitVec, 32, 2>(ctx);
 	test_compact<chilbert::SmallBitVec, 16, 4>(ctx);