diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-05-05 21:05:30 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-05-05 21:05:30 +0000 |
| commit | c44b306f63279ca56345669e86c2f634d66b9f7a (patch) | |
| tree | e8286b42f102ac1b4e7bff81e3f99f8acb9bd6d6 /src/util/bitvector.h | |
| parent | 9a76c8034cadc11b1528be8727f25693f823fb21 (diff) | |
bit-vector constant constructor from string
Diffstat (limited to 'src/util/bitvector.h')
| -rw-r--r-- | src/util/bitvector.h | 3 |
1 files changed, 3 insertions, 0 deletions
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) { |