From c44b306f63279ca56345669e86c2f634d66b9f7a Mon Sep 17 00:00:00 2001 From: =?utf8?q?Dejan=20Jovanovi=C4=87?= Date: Wed, 5 May 2010 21:05:30 +0000 Subject: [PATCH] bit-vector constant constructor from string --- src/util/bitvector.h | 3 +++ 1 file changed, 3 insertions(+) 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) { -- 2.30.2