FloatingPoint: Add utility functions for largest and smallest subnormal. (#5166)

[cvc5.git] / src / util / bitvector.h

diff --git a/src/util/bitvector.h b/src/util/bitvector.h
index 49f80d2d6c413e63fce2730f6cb22e4d92901ca4..9d4f778cdcb861983c82484ff69f7d37f1a66074 100644 (file)
--- a/src/util/bitvector.h
+++ b/src/util/bitvector.h
@@ -240,6 +240,12 @@ class CVC4_PUBLIC BitVector
    ** Static helpers.
    * ----------------------------------------------------------------------- */
 
+  /* Create zero bit-vector of given size. */
+  static BitVector mkZero(unsigned size);
+
+  /* Create bit-vector representing value 1 of given size. */
+  static BitVector mkOne(unsigned size);
+
   /* Create bit-vector of ones of given size. */
   static BitVector mkOnes(unsigned size);