From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Wed, 5 May 2010 21:05:30 +0000 (+0000)
Subject: bit-vector constant constructor from string
X-Git-Tag: cvc5-1.0.0~9077
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c44b306f63279ca56345669e86c2f634d66b9f7a;p=cvc5.git

bit-vector constant constructor from string
---

diff --git a/src/util/bitvector.h b/src/util/bitvector.h
index 879680fd7..a3ea2c489 100644
--- a/src/util/bitvector.h
+++ b/src/util/bitvector.h
@@ -37,6 +37,9 @@ public:
   BitVector(unsigned size, const BitVector& q)
   : d_size(size), d_value(q.d_value) {}
 
+  BitVector(unsigned size, const std::string& num, unsigned base = 2)
+  : d_size(size), d_value(0) {}
+
   ~BitVector() {}
 
   BitVector& operator =(const BitVector& x) {