Add StaticBitVec type

3 files changed, 44 insertions, 0 deletions

diff --git a/test/test_bitvec.cpp b/test/test_bitvec.cpp
index 0b6e534..b891aca 100644
--- a/test/test_bitvec.cpp
+++ b/test/test_bitvec.cpp
@@ -21,6 +21,7 @@
 
 #include "chilbert/BigBitVec.hpp"
 #include "chilbert/FixBitVec.hpp"
+#include "chilbert/StaticBitVec.hpp"
 
 #include <cassert>
 #include <cstddef>
@@ -348,5 +349,15 @@ main()
 	test<chilbert::CBigBitVec, 65>(ctx);
 	test<chilbert::CBigBitVec, 997>(ctx);
 
+	test<chilbert::StaticBitVec<0>, 0>(ctx);
+	test<chilbert::StaticBitVec<1>, 1>(ctx);
+	test<chilbert::StaticBitVec<31>, 31>(ctx);
+	test<chilbert::StaticBitVec<32>, 32>(ctx);
+	test<chilbert::StaticBitVec<33>, 33>(ctx);
+	test<chilbert::StaticBitVec<63>, 63>(ctx);
+	test<chilbert::StaticBitVec<64>, 64>(ctx);
+	test<chilbert::StaticBitVec<65>, 65>(ctx);
+	test<chilbert::StaticBitVec<997>, 997>(ctx);
+
 	return 0;
 }
diff --git a/test/test_gray_code_rank.cpp b/test/test_gray_code_rank.cpp
index a421159..8be40f1 100644
--- a/test/test_gray_code_rank.cpp
+++ b/test/test_gray_code_rank.cpp
@@ -22,6 +22,7 @@
 #include "chilbert/BigBitVec.hpp"
 #include "chilbert/FixBitVec.hpp"
 #include "chilbert/GrayCodeRank.hpp"
+#include "chilbert/StaticBitVec.hpp"
 
 #include <algorithm>
 #include <array>
@@ -138,5 +139,14 @@ main()
 	test<chilbert::CBigBitVec, 96, 65>(ctx);
 	test<chilbert::CBigBitVec, 1024, 997>(ctx);
 
+	test<chilbert::StaticBitVec<1>, 64, 1>(ctx);
+	test<chilbert::StaticBitVec<31>, 64, 31>(ctx);
+	test<chilbert::StaticBitVec<32>, 64, 32>(ctx);
+	test<chilbert::StaticBitVec<33>, 64, 33>(ctx);
+	test<chilbert::StaticBitVec<60>, 64, 60>(ctx);
+	test<chilbert::StaticBitVec<64>, 64, 64>(ctx);
+	test<chilbert::StaticBitVec<65>, 96, 65>(ctx);
+	test<chilbert::StaticBitVec<997>, 1024, 997>(ctx);
+
 	return 0;
 }
diff --git a/test/test_hilbert.cpp b/test/test_hilbert.cpp
index 6a3d1b8..36a2992 100644
--- a/test/test_hilbert.cpp
+++ b/test/test_hilbert.cpp
@@ -22,6 +22,7 @@
 #include "chilbert/BigBitVec.hpp"
 #include "chilbert/FixBitVec.hpp"
 #include "chilbert/Hilbert.hpp"
+#include "chilbert/StaticBitVec.hpp"
 
 #include <gmpxx.h>
 
@@ -182,6 +183,17 @@ main()
 	test_standard<chilbert::CBigBitVec, 32, 64>(ctx);
 	test_standard<chilbert::CBigBitVec, 63, 128>(ctx);
 
+	test_standard<chilbert::StaticBitVec<4 * 2>, 4, 2>(ctx);
+	test_standard<chilbert::StaticBitVec<32 * 2>, 32, 2>(ctx);
+	test_standard<chilbert::StaticBitVec<16 * 4>, 16, 4>(ctx);
+	test_standard<chilbert::StaticBitVec<8 * 8>, 8, 8>(ctx);
+	test_standard<chilbert::StaticBitVec<4 * 16>, 4, 16>(ctx);
+	test_standard<chilbert::StaticBitVec<2 * 32>, 2, 32>(ctx);
+	test_standard<chilbert::StaticBitVec<1 * 64>, 1, 64>(ctx);
+	test_standard<chilbert::StaticBitVec<4 * 65>, 4, 65>(ctx);
+	test_standard<chilbert::StaticBitVec<32 * 64>, 32, 64>(ctx);
+	test_standard<chilbert::StaticBitVec<63 * 128>, 63, 128>(ctx);
+
 	test_compact<chilbert::CFixBitVec, 4, 2>(ctx);
 	test_compact<chilbert::CFixBitVec, 32, 2>(ctx);
 	test_compact<chilbert::CFixBitVec, 16, 4>(ctx);
@@ -194,5 +206,16 @@ main()
 	test_compact<chilbert::CBigBitVec, 32, 64>(ctx);
 	test_compact<chilbert::CBigBitVec, 63, 128>(ctx);
 
+	test_compact<chilbert::StaticBitVec<4 * 2>, 4, 2>(ctx);
+	test_compact<chilbert::StaticBitVec<32 * 2>, 32, 2>(ctx);
+	test_compact<chilbert::StaticBitVec<16 * 4>, 16, 4>(ctx);
+	test_compact<chilbert::StaticBitVec<8 * 8>, 8, 8>(ctx);
+	test_compact<chilbert::StaticBitVec<4 * 16>, 4, 16>(ctx);
+	test_compact<chilbert::StaticBitVec<2 * 32>, 2, 32>(ctx);
+	test_compact<chilbert::StaticBitVec<1 * 64>, 1, 64>(ctx);
+	test_compact<chilbert::StaticBitVec<4 * 65>, 4, 65>(ctx);
+	test_compact<chilbert::StaticBitVec<32 * 64>, 32, 64>(ctx);
+	test_compact<chilbert::StaticBitVec<63 * 128>, 63, 128>(ctx);
+
 	return 0;
 }