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

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

diff --git a/src/util/bitvector.cpp b/src/util/bitvector.cpp
index 13710244eeae108ccc36890820cdd93ad124c45f..f5e8c9b1687ed93e15ba564127a02260760a299f 100644 (file)
--- a/src/util/bitvector.cpp
+++ b/src/util/bitvector.cpp
@@ -341,6 +341,18 @@ BitVector BitVector::arithRightShift(const BitVector& y) const
  ** Static helpers.
  * ----------------------------------------------------------------------- */
 
+BitVector BitVector::mkZero(unsigned size)
+{
+  CheckArgument(size > 0, size);
+  return BitVector(size);
+}
+
+BitVector BitVector::mkOne(unsigned size)
+{
+  CheckArgument(size > 0, size);
+  return BitVector(size, 1u);
+}
+
 BitVector BitVector::mkOnes(unsigned size)
 {
   CheckArgument(size > 0, size);