1 files changed, 11 insertions, 0 deletions
diff --git a/src/util/bitvector.h b/src/util/bitvector.h
index 2c178ec2e..5df632ff4 100644
--- a/src/util/bitvector.h
+++ b/src/util/bitvector.h
@@ -178,6 +178,17 @@ public:
     Integer prod = d_value * y.d_value;
     return BitVector(d_size, prod);
   }
+
+  BitVector setBit(uint32_t i) const {
+    CheckArgument(i < d_size, i);
+    Integer res = d_value.setBit(i);
+    return BitVector(d_size, res); 
+  }
+
+  bool isBitSet(uint32_t i) const {
+    CheckArgument(i < d_size, i); 
+    return d_value.isBitSet(i); 
+  }
   
   BitVector unsignedDiv (const BitVector& y) const {
     CheckArgument(d_size == y.d_size, y);