diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-03-20 01:12:31 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-03-20 01:12:31 +0000 |
commit | af6ac1f03a841a0261190cb7caa15ff1fa1f798c (patch) | |
tree | 56351c49de0cd299548becb15bf5810d6e0dac54 /src/util | |
parent | 649c50afb9e35ef467828567d4b1d24a107d6d20 (diff) |
commit for the version of bitvectors that passes all the unit tests
Diffstat (limited to 'src/util')
-rw-r--r-- | src/util/bitvector.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/util/bitvector.h b/src/util/bitvector.h index d1bfafb00..ca69fb506 100644 --- a/src/util/bitvector.h +++ b/src/util/bitvector.h @@ -98,7 +98,7 @@ public: return BitVector(d_size + other.d_size, (d_value * Integer(2).pow(other.d_size)) + other.d_value); } - BitVector extract(unsigned high, unsigned low) { + BitVector extract(unsigned high, unsigned low) const { return BitVector(high - low + 1, (d_value % (Integer(2).pow(high + 1))) / Integer(2).pow(low)); } |