bit.rs 91.2 KB
Newer Older
C
Chris Wong 已提交
1
// Copyright 2012-2014 The Rust Project Developers. See the COPYRIGHT
2 3 4 5 6 7 8 9 10
// file at the top-level directory of this distribution and at
// http://rust-lang.org/COPYRIGHT.
//
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
// option. This file may not be copied, modified, or distributed
// except according to those terms.

A
Aaron Turon 已提交
11 12 13 14
// FIXME(Gankro): BitVec and BitSet are very tightly coupled. Ideally (for
// maintenance), they should be in separate files/modules, with BitSet only
// using BitVec's public API. This will be hard for performance though, because
// `BitVec` will not want to leak its internal representation while its internal
T
Tobias Bucher 已提交
15 16
// representation as `u32`s must be assumed for best performance.

A
Aaron Turon 已提交
17
// FIXME(tbu-): `BitVec`'s methods shouldn't be `union`, `intersection`, but
T
Tobias Bucher 已提交
18 19 20
// rather `or` and `and`.

// (1) Be careful, most things can overflow here because the amount of bits in
A
Alexis 已提交
21
//     memory can overflow `usize`.
T
Tobias Bucher 已提交
22 23 24 25 26 27
// (2) Make sure that the underlying vector has no excess length:
//     E. g. `nbits == 16`, `storage.len() == 2` would be excess length,
//     because the last word isn't used at all. This is important because some
//     methods rely on it (for *CORRECTNESS*).
// (3) Make sure that the unused bits in the last word are zeroed out, again
//     other methods rely on it for *CORRECTNESS*.
A
Aaron Turon 已提交
28 29
// (4) `BitSet` is tightly coupled with `BitVec`, so any changes you make in
// `BitVec` will need to be reflected in `BitSet`.
30

J
Jonas Hietala 已提交
31 32
//! Collections implemented with bit vectors.
//!
33
//! # Examples
J
Jonas Hietala 已提交
34 35 36 37 38 39 40
//!
//! This is a simple example of the [Sieve of Eratosthenes][sieve]
//! which calculates prime numbers up to a given limit.
//!
//! [sieve]: http://en.wikipedia.org/wiki/Sieve_of_Eratosthenes
//!
//! ```
A
Aaron Turon 已提交
41
//! use std::collections::{BitSet, BitVec};
42
//! use std::num::Float;
J
Jonas Hietala 已提交
43 44 45 46
//! use std::iter;
//!
//! let max_prime = 10000;
//!
A
Aaron Turon 已提交
47
//! // Store the primes as a BitSet
J
Jonas Hietala 已提交
48
//! let primes = {
J
Jonas Hietala 已提交
49 50
//!     // Assume all numbers are prime to begin, and then we
//!     // cross off non-primes progressively
A
Aaron Turon 已提交
51
//!     let mut bv = BitVec::from_elem(max_prime, true);
J
Jonas Hietala 已提交
52 53 54 55 56
//!
//!     // Neither 0 nor 1 are prime
//!     bv.set(0, false);
//!     bv.set(1, false);
//!
A
Alexis 已提交
57
//!     for i in iter::range_inclusive(2, (max_prime as f64).sqrt() as usize) {
J
Jonas Hietala 已提交
58
//!         // if i is a prime
J
Jonas Hietala 已提交
59 60
//!         if bv[i] {
//!             // Mark all multiples of i as non-prime (any multiples below i * i
J
Jonas Hietala 已提交
61 62 63 64
//!             // will have been marked as non-prime previously)
//!             for j in iter::range_step(i * i, max_prime, i) { bv.set(j, false) }
//!         }
//!     }
A
Aaron Turon 已提交
65
//!     BitSet::from_bit_vec(bv)
J
Jonas Hietala 已提交
66 67 68
//! };
//!
//! // Simple primality tests below our max bound
A
Alexis 已提交
69
//! let print_primes = 20;
J
Jonas Hietala 已提交
70
//! print!("The primes below {} are: ", print_primes);
71
//! for x in 0..print_primes {
J
Jonas Hietala 已提交
72 73 74 75 76 77
//!     if primes.contains(&x) {
//!         print!("{} ", x);
//!     }
//! }
//! println!("");
//!
A
Aaron Turon 已提交
78
//! // We can manipulate the internal BitVec
J
Jonas Hietala 已提交
79 80 81 82
//! let num_primes = primes.get_ref().iter().filter(|x| *x).count();
//! println!("There are {} primes below {}", num_primes, max_prime);
//! ```

83
use core::prelude::*;
84

85
use core::cmp::Ordering;
86
use core::cmp;
87
use core::default::Default;
88
use core::fmt;
89
use core::hash;
A
Alex Crichton 已提交
90 91
use core::iter::RandomAccessIterator;
use core::iter::{Chain, Enumerate, Repeat, Skip, Take, repeat, Cloned};
92
use core::iter::{self, FromIterator, IntoIterator};
93
use core::num::Int;
94
use core::ops::Index;
95
use core::slice;
A
Alexis 已提交
96
use core::{u8, u32, usize};
A
Aaron Turon 已提交
97
use bit_set; //so meta
98

T
Tobias Bucher 已提交
99
use Vec;
100

A
Alexis Beingessner 已提交
101 102
type Blocks<'a> = Cloned<slice::Iter<'a, u32>>;
type MutBlocks<'a> = slice::IterMut<'a, u32>;
103
type MatchWords<'a> = Chain<Enumerate<Blocks<'a>>, Skip<Take<Enumerate<Repeat<u32>>>>>;
104

105 106
fn reverse_bits(byte: u8) -> u8 {
    let mut result = 0;
107
    for i in 0..u8::BITS {
108 109 110 111
        result |= ((byte >> i) & 1) << (u8::BITS - 1 - i);
    }
    result
}
112

113 114
// Take two BitV's, and return iterators of their words, where the shorter one
// has been padded with 0's
A
Aaron Turon 已提交
115
fn match_words <'a,'b>(a: &'a BitVec, b: &'b BitVec) -> (MatchWords<'a>, MatchWords<'b>) {
116 117 118 119 120
    let a_len = a.storage.len();
    let b_len = b.storage.len();

    // have to uselessly pretend to pad the longer one for type matching
    if a_len < b_len {
121 122
        (a.blocks().enumerate().chain(iter::repeat(0u32).enumerate().take(b_len).skip(a_len)),
         b.blocks().enumerate().chain(iter::repeat(0u32).enumerate().take(0).skip(0)))
123
    } else {
124 125
        (a.blocks().enumerate().chain(iter::repeat(0u32).enumerate().take(0).skip(0)),
         b.blocks().enumerate().chain(iter::repeat(0u32).enumerate().take(a_len).skip(b_len)))
126 127
    }
}
128 129 130 131

static TRUE: bool = true;
static FALSE: bool = false;

P
P1start 已提交
132
/// The bitvector type.
J
Joseph Crail 已提交
133
///
134
/// # Examples
J
Joseph Crail 已提交
135 136
///
/// ```rust
A
Aaron Turon 已提交
137
/// use std::collections::BitVec;
J
Joseph Crail 已提交
138
///
A
Aaron Turon 已提交
139
/// let mut bv = BitVec::from_elem(10, false);
J
Joseph Crail 已提交
140 141 142 143 144 145
///
/// // insert all primes less than 10
/// bv.set(2, true);
/// bv.set(3, true);
/// bv.set(5, true);
/// bv.set(7, true);
A
Alex Crichton 已提交
146
/// println!("{:?}", bv);
A
Aaron Turon 已提交
147
/// println!("total bits set to true: {}", bv.iter().filter(|x| *x).count());
J
Joseph Crail 已提交
148 149 150
///
/// // flip all values in bitvector, producing non-primes less than 10
/// bv.negate();
A
Alex Crichton 已提交
151
/// println!("{:?}", bv);
A
Aaron Turon 已提交
152
/// println!("total bits set to true: {}", bv.iter().filter(|x| *x).count());
J
Joseph Crail 已提交
153 154 155
///
/// // reset bitvector to empty
/// bv.clear();
A
Alex Crichton 已提交
156
/// println!("{:?}", bv);
A
Aaron Turon 已提交
157
/// println!("total bits set to true: {}", bv.iter().filter(|x| *x).count());
J
Joseph Crail 已提交
158
/// ```
159
#[unstable(feature = "collections",
160
           reason = "RFC 509")]
A
Aaron Turon 已提交
161
pub struct BitVec {
162
    /// Internal representation of the bit vector
163
    storage: Vec<u32>,
164
    /// The number of valid bits in the internal representation
A
Alexis 已提交
165
    nbits: usize
166
}
167

J
Jorge Aparicio 已提交
168
// FIXME(Gankro): NopeNopeNopeNopeNope (wait for IndexGet to be a thing)
A
Aaron Turon 已提交
169
impl Index<usize> for BitVec {
J
Jorge Aparicio 已提交
170 171 172
    type Output = bool;

    #[inline]
A
Alexis 已提交
173
    fn index(&self, i: &usize) -> &bool {
J
Jorge Aparicio 已提交
174 175 176 177 178 179 180 181
        if self.get(*i).expect("index out of bounds") {
            &TRUE
        } else {
            &FALSE
        }
    }
}

182
/// Computes how many blocks are needed to store that many bits
A
Alexis 已提交
183
fn blocks_for_bits(bits: usize) -> usize {
184 185 186 187 188 189 190
    // If we want 17 bits, dividing by 32 will produce 0. So we add 1 to make sure we
    // reserve enough. But if we want exactly a multiple of 32, this will actually allocate
    // one too many. So we need to check if that's the case. We can do that by computing if
    // bitwise AND by `32 - 1` is 0. But LLVM should be able to optimize the semantically
    // superior modulo operator on a power of two to this.
    //
    // Note that we can technically avoid this branch with the expression
A
Alexis 已提交
191
    // `(nbits + u32::BITS - 1) / 32::BITS`, but if nbits is almost usize::MAX this will overflow.
192 193 194 195
    if bits % u32::BITS == 0 {
        bits / u32::BITS
    } else {
        bits / u32::BITS + 1
196 197 198
    }
}

199
/// Computes the bitmask for the final word of the vector
A
Alexis 已提交
200
fn mask_for_bits(bits: usize) -> u32 {
201 202
    // Note especially that a perfect multiple of u32::BITS should mask all 1s.
    !0u32 >> (u32::BITS - bits % u32::BITS) % u32::BITS
203 204
}

A
Aaron Turon 已提交
205
impl BitVec {
T
Tobias Bucher 已提交
206 207 208
    /// Applies the given operation to the blocks of self and other, and sets
    /// self to be the result. This relies on the caller not to corrupt the
    /// last word.
209
    #[inline]
A
Aaron Turon 已提交
210
    fn process<F>(&mut self, other: &BitVec, mut op: F) -> bool where F: FnMut(u32, u32) -> u32 {
T
Tobias Bucher 已提交
211 212 213
        assert_eq!(self.len(), other.len());
        // This could theoretically be a `debug_assert!`.
        assert_eq!(self.storage.len(), other.storage.len());
214
        let mut changed = false;
215
        for (a, b) in self.blocks_mut().zip(other.blocks()) {
216 217
            let w = op(*a, b);
            if *a != w {
218 219
                changed = true;
                *a = w;
220 221
            }
        }
222
        changed
223
    }
224

225 226
    /// Iterator over mutable refs to  the underlying blocks of data.
    fn blocks_mut(&mut self) -> MutBlocks {
T
Tobias Bucher 已提交
227 228
        // (2)
        self.storage.iter_mut()
229 230 231 232
    }

    /// Iterator over the underlying blocks of data
    fn blocks(&self) -> Blocks {
T
Tobias Bucher 已提交
233 234
        // (2)
        self.storage.iter().cloned()
235 236
    }

T
Tobias Bucher 已提交
237
    /// An operation might screw up the unused bits in the last block of the
A
Aaron Turon 已提交
238
    /// `BitVec`. As per (3), it's assumed to be all 0s. This method fixes it up.
239
    fn fix_last_block(&mut self) {
T
Tobias Bucher 已提交
240
        let extra_bits = self.len() % u32::BITS;
241 242 243 244
        if extra_bits > 0 {
            let mask = (1 << extra_bits) - 1;
            let storage_len = self.storage.len();
            self.storage[storage_len - 1] &= mask;
245 246
        }
    }
247

A
Aaron Turon 已提交
248
    /// Creates an empty `BitVec`.
J
Jonas Hietala 已提交
249
    ///
250
    /// # Examples
J
Jonas Hietala 已提交
251 252
    ///
    /// ```
A
Aaron Turon 已提交
253 254
    /// use std::collections::BitVec;
    /// let mut bv = BitVec::new();
J
Jonas Hietala 已提交
255
    /// ```
B
Brian Anderson 已提交
256
    #[stable(feature = "rust1", since = "1.0.0")]
A
Aaron Turon 已提交
257 258
    pub fn new() -> BitVec {
        BitVec { storage: Vec::new(), nbits: 0 }
259 260
    }

A
Aaron Turon 已提交
261
    /// Creates a `BitVec` that holds `nbits` elements, setting each element
262
    /// to `bit`.
J
Jonas Hietala 已提交
263
    ///
264
    /// # Examples
J
Jonas Hietala 已提交
265 266
    ///
    /// ```
A
Aaron Turon 已提交
267
    /// use std::collections::BitVec;
J
Jonas Hietala 已提交
268
    ///
A
Aaron Turon 已提交
269
    /// let mut bv = BitVec::from_elem(10, false);
270
    /// assert_eq!(bv.len(), 10);
J
Jonas Hietala 已提交
271 272 273 274
    /// for x in bv.iter() {
    ///     assert_eq!(x, false);
    /// }
    /// ```
A
Aaron Turon 已提交
275
    pub fn from_elem(nbits: usize, bit: bool) -> BitVec {
276
        let nblocks = blocks_for_bits(nbits);
A
Aaron Turon 已提交
277
        let mut bit_vec = BitVec {
A
Aaron Turon 已提交
278
            storage: repeat(if bit { !0u32 } else { 0u32 }).take(nblocks).collect(),
279
            nbits: nbits
280
        };
A
Aaron Turon 已提交
281 282
        bit_vec.fix_last_block();
        bit_vec
283 284
    }

A
Aaron Turon 已提交
285
    /// Constructs a new, empty `BitVec` with the specified capacity.
286 287 288 289 290 291
    ///
    /// The bitvector will be able to hold at least `capacity` bits without
    /// reallocating. If `capacity` is 0, it will not allocate.
    ///
    /// It is important to note that this function does not specify the
    /// *length* of the returned bitvector, but only the *capacity*.
B
Brian Anderson 已提交
292
    #[stable(feature = "rust1", since = "1.0.0")]
A
Aaron Turon 已提交
293 294
    pub fn with_capacity(nbits: usize) -> BitVec {
        BitVec {
295 296
            storage: Vec::with_capacity(blocks_for_bits(nbits)),
            nbits: 0,
297
        }
298
    }
299

A
Aaron Turon 已提交
300
    /// Transforms a byte-vector into a `BitVec`. Each byte becomes eight bits,
301 302 303 304 305 306
    /// with the most significant bits of each byte coming first. Each
    /// bit becomes `true` if equal to 1 or `false` if equal to 0.
    ///
    /// # Examples
    ///
    /// ```
A
Aaron Turon 已提交
307
    /// use std::collections::BitVec;
308
    ///
A
Aaron Turon 已提交
309
    /// let bv = BitVec::from_bytes(&[0b10100000, 0b00010010]);
310 311 312 313 314
    /// assert!(bv.eq_vec(&[true, false, true, false,
    ///                     false, false, false, false,
    ///                     false, false, false, true,
    ///                     false, false, true, false]));
    /// ```
A
Aaron Turon 已提交
315
    pub fn from_bytes(bytes: &[u8]) -> BitVec {
T
Tobias Bucher 已提交
316
        let len = bytes.len().checked_mul(u8::BITS).expect("capacity overflow");
A
Aaron Turon 已提交
317
        let mut bit_vec = BitVec::with_capacity(len);
T
Tobias Bucher 已提交
318 319 320
        let complete_words = bytes.len() / 4;
        let extra_bytes = bytes.len() % 4;

A
Aaron Turon 已提交
321
        bit_vec.nbits = len;
322

323
        for i in 0..complete_words {
A
Aaron Turon 已提交
324
            bit_vec.storage.push(
325 326 327 328
                ((reverse_bits(bytes[i * 4 + 0]) as u32) << 0) |
                ((reverse_bits(bytes[i * 4 + 1]) as u32) << 8) |
                ((reverse_bits(bytes[i * 4 + 2]) as u32) << 16) |
                ((reverse_bits(bytes[i * 4 + 3]) as u32) << 24)
T
Tobias Bucher 已提交
329 330
            );
        }
331

T
Tobias Bucher 已提交
332 333
        if extra_bytes > 0 {
            let mut last_word = 0u32;
334
            for (i, &byte) in bytes[complete_words*4..].iter().enumerate() {
335
                last_word |= (reverse_bits(byte) as u32) << (i * 8);
T
Tobias Bucher 已提交
336
            }
A
Aaron Turon 已提交
337
            bit_vec.storage.push(last_word);
338
        }
339

A
Aaron Turon 已提交
340
        bit_vec
341
    }
342

A
Aaron Turon 已提交
343
    /// Creates a `BitVec` of the specified length where the value at each index
T
Tobias Bucher 已提交
344
    /// is `f(index)`.
J
Jonas Hietala 已提交
345
    ///
346
    /// # Examples
J
Jonas Hietala 已提交
347
    ///
348
    /// ```
A
Aaron Turon 已提交
349
    /// use std::collections::BitVec;
350
    ///
A
Aaron Turon 已提交
351
    /// let bv = BitVec::from_fn(5, |i| { i % 2 == 0 });
352 353
    /// assert!(bv.eq_vec(&[true, false, true, false, true]));
    /// ```
A
Aaron Turon 已提交
354 355
    pub fn from_fn<F>(len: usize, mut f: F) -> BitVec where F: FnMut(usize) -> bool {
        let mut bit_vec = BitVec::from_elem(len, false);
356
        for i in 0..len {
A
Aaron Turon 已提交
357
            bit_vec.set(i, f(i));
358
        }
A
Aaron Turon 已提交
359
        bit_vec
360 361 362
    }

    /// Retrieves the value at index `i`, or `None` if the index is out of bounds.
J
Jonas Hietala 已提交
363
    ///
364
    /// # Examples
J
Jonas Hietala 已提交
365 366
    ///
    /// ```
A
Aaron Turon 已提交
367
    /// use std::collections::BitVec;
J
Jonas Hietala 已提交
368
    ///
A
Aaron Turon 已提交
369
    /// let bv = BitVec::from_bytes(&[0b01100000]);
370 371 372
    /// assert_eq!(bv.get(0), Some(false));
    /// assert_eq!(bv.get(1), Some(true));
    /// assert_eq!(bv.get(100), None);
J
Jonas Hietala 已提交
373 374 375
    ///
    /// // Can also use array indexing
    /// assert_eq!(bv[1], true);
J
Jonas Hietala 已提交
376
    /// ```
377
    #[inline]
B
Brian Anderson 已提交
378
    #[stable(feature = "rust1", since = "1.0.0")]
A
Alexis 已提交
379
    pub fn get(&self, i: usize) -> Option<bool> {
T
Tobias Bucher 已提交
380 381 382
        if i >= self.nbits {
            return None;
        }
383 384
        let w = i / u32::BITS;
        let b = i % u32::BITS;
J
Josh Stone 已提交
385
        self.storage.get(w).map(|&block|
386 387
            (block & (1 << b)) != 0
        )
388
    }
389

390
    /// Sets the value of a bit at an index `i`.
J
Jonas Hietala 已提交
391
    ///
392
    /// # Panics
J
Jonas Hietala 已提交
393
    ///
394
    /// Panics if `i` is out of bounds.
J
Jonas Hietala 已提交
395
    ///
396
    /// # Examples
J
Jonas Hietala 已提交
397 398
    ///
    /// ```
A
Aaron Turon 已提交
399
    /// use std::collections::BitVec;
J
Jonas Hietala 已提交
400
    ///
A
Aaron Turon 已提交
401
    /// let mut bv = BitVec::from_elem(5, false);
J
Jonas Hietala 已提交
402
    /// bv.set(3, true);
J
Jonas Hietala 已提交
403
    /// assert_eq!(bv[3], true);
J
Jonas Hietala 已提交
404
    /// ```
405
    #[inline]
406
    #[unstable(feature = "collections",
407
               reason = "panic semantics are likely to change in the future")]
A
Alexis 已提交
408
    pub fn set(&mut self, i: usize, x: bool) {
409
        assert!(i < self.nbits);
410 411
        let w = i / u32::BITS;
        let b = i % u32::BITS;
412
        let flag = 1 << b;
413 414 415
        let val = if x { self.storage[w] | flag }
                  else { self.storage[w] & !flag };
        self.storage[w] = val;
416
    }
417

P
P1start 已提交
418
    /// Sets all bits to 1.
J
Jonas Hietala 已提交
419
    ///
420
    /// # Examples
J
Jonas Hietala 已提交
421 422
    ///
    /// ```
A
Aaron Turon 已提交
423
    /// use std::collections::BitVec;
J
Jonas Hietala 已提交
424
    ///
425 426 427
    /// let before = 0b01100000;
    /// let after  = 0b11111111;
    ///
A
Aaron Turon 已提交
428
    /// let mut bv = BitVec::from_bytes(&[before]);
J
Jonas Hietala 已提交
429
    /// bv.set_all();
A
Aaron Turon 已提交
430
    /// assert_eq!(bv, BitVec::from_bytes(&[after]));
431
    /// ```
432
    #[inline]
433
    pub fn set_all(&mut self) {
434
        for w in &mut self.storage { *w = !0u32; }
435
        self.fix_last_block();
436
    }
437

P
P1start 已提交
438
    /// Flips all bits.
J
Jonas Hietala 已提交
439
    ///
440
    /// # Examples
J
Jonas Hietala 已提交
441 442
    ///
    /// ```
A
Aaron Turon 已提交
443
    /// use std::collections::BitVec;
444 445 446
    ///
    /// let before = 0b01100000;
    /// let after  = 0b10011111;
J
Jonas Hietala 已提交
447
    ///
A
Aaron Turon 已提交
448
    /// let mut bv = BitVec::from_bytes(&[before]);
J
Jonas Hietala 已提交
449
    /// bv.negate();
A
Aaron Turon 已提交
450
    /// assert_eq!(bv, BitVec::from_bytes(&[after]));
451
    /// ```
452
    #[inline]
D
Daniel Micay 已提交
453
    pub fn negate(&mut self) {
454
        for w in &mut self.storage { *w = !*w; }
455
        self.fix_last_block();
456
    }
457

P
P1start 已提交
458 459
    /// Calculates the union of two bitvectors. This acts like the bitwise `or`
    /// function.
J
Jonas Hietala 已提交
460
    ///
P
P1start 已提交
461 462
    /// Sets `self` to the union of `self` and `other`. Both bitvectors must be
    /// the same length. Returns `true` if `self` changed.
J
Jonas Hietala 已提交
463
    ///
464
    /// # Panics
J
Jonas Hietala 已提交
465
    ///
466
    /// Panics if the bitvectors are of different lengths.
J
Jonas Hietala 已提交
467
    ///
468
    /// # Examples
J
Jonas Hietala 已提交
469 470
    ///
    /// ```
A
Aaron Turon 已提交
471
    /// use std::collections::BitVec;
472 473 474 475
    ///
    /// let a   = 0b01100100;
    /// let b   = 0b01011010;
    /// let res = 0b01111110;
J
Jonas Hietala 已提交
476
    ///
A
Aaron Turon 已提交
477 478
    /// let mut a = BitVec::from_bytes(&[a]);
    /// let b = BitVec::from_bytes(&[b]);
J
Jonas Hietala 已提交
479
    ///
480
    /// assert!(a.union(&b));
A
Aaron Turon 已提交
481
    /// assert_eq!(a, BitVec::from_bytes(&[res]));
J
Jonas Hietala 已提交
482
    /// ```
483
    #[inline]
A
Aaron Turon 已提交
484
    pub fn union(&mut self, other: &BitVec) -> bool {
485 486 487
        self.process(other, |w1, w2| w1 | w2)
    }

P
P1start 已提交
488 489
    /// Calculates the intersection of two bitvectors. This acts like the
    /// bitwise `and` function.
J
Jonas Hietala 已提交
490
    ///
P
P1start 已提交
491 492
    /// Sets `self` to the intersection of `self` and `other`. Both bitvectors
    /// must be the same length. Returns `true` if `self` changed.
J
Jonas Hietala 已提交
493
    ///
494
    /// # Panics
J
Jonas Hietala 已提交
495
    ///
496
    /// Panics if the bitvectors are of different lengths.
J
Jonas Hietala 已提交
497
    ///
498
    /// # Examples
J
Jonas Hietala 已提交
499 500
    ///
    /// ```
A
Aaron Turon 已提交
501
    /// use std::collections::BitVec;
J
Jonas Hietala 已提交
502
    ///
503 504 505
    /// let a   = 0b01100100;
    /// let b   = 0b01011010;
    /// let res = 0b01000000;
J
Jonas Hietala 已提交
506
    ///
A
Aaron Turon 已提交
507 508
    /// let mut a = BitVec::from_bytes(&[a]);
    /// let b = BitVec::from_bytes(&[b]);
509 510
    ///
    /// assert!(a.intersect(&b));
A
Aaron Turon 已提交
511
    /// assert_eq!(a, BitVec::from_bytes(&[res]));
J
Jonas Hietala 已提交
512
    /// ```
513
    #[inline]
A
Aaron Turon 已提交
514
    pub fn intersect(&mut self, other: &BitVec) -> bool {
515 516 517
        self.process(other, |w1, w2| w1 & w2)
    }

P
P1start 已提交
518
    /// Calculates the difference between two bitvectors.
J
Jonas Hietala 已提交
519
    ///
P
P1start 已提交
520
    /// Sets each element of `self` to the value of that element minus the
J
Jonas Hietala 已提交
521
    /// element of `other` at the same index. Both bitvectors must be the same
P
P1start 已提交
522
    /// length. Returns `true` if `self` changed.
J
Jonas Hietala 已提交
523
    ///
524
    /// # Panics
J
Jonas Hietala 已提交
525
    ///
526
    /// Panics if the bitvectors are of different length.
J
Jonas Hietala 已提交
527
    ///
528
    /// # Examples
J
Jonas Hietala 已提交
529 530
    ///
    /// ```
A
Aaron Turon 已提交
531
    /// use std::collections::BitVec;
532 533 534 535 536 537
    ///
    /// let a   = 0b01100100;
    /// let b   = 0b01011010;
    /// let a_b = 0b00100100; // a - b
    /// let b_a = 0b00011010; // b - a
    ///
A
Aaron Turon 已提交
538 539
    /// let mut bva = BitVec::from_bytes(&[a]);
    /// let bvb = BitVec::from_bytes(&[b]);
J
Jonas Hietala 已提交
540
    ///
541
    /// assert!(bva.difference(&bvb));
A
Aaron Turon 已提交
542
    /// assert_eq!(bva, BitVec::from_bytes(&[a_b]));
J
Jonas Hietala 已提交
543
    ///
A
Aaron Turon 已提交
544 545
    /// let bva = BitVec::from_bytes(&[a]);
    /// let mut bvb = BitVec::from_bytes(&[b]);
546 547
    ///
    /// assert!(bvb.difference(&bva));
A
Aaron Turon 已提交
548
    /// assert_eq!(bvb, BitVec::from_bytes(&[b_a]));
J
Jonas Hietala 已提交
549
    /// ```
550
    #[inline]
A
Aaron Turon 已提交
551
    pub fn difference(&mut self, other: &BitVec) -> bool {
552
        self.process(other, |w1, w2| w1 & !w2)
553
    }
554

J
Jonas Hietala 已提交
555 556
    /// Returns `true` if all bits are 1.
    ///
557
    /// # Examples
J
Jonas Hietala 已提交
558 559
    ///
    /// ```
A
Aaron Turon 已提交
560
    /// use std::collections::BitVec;
J
Jonas Hietala 已提交
561
    ///
A
Aaron Turon 已提交
562
    /// let mut bv = BitVec::from_elem(5, true);
J
Jonas Hietala 已提交
563 564 565 566 567
    /// assert_eq!(bv.all(), true);
    ///
    /// bv.set(1, false);
    /// assert_eq!(bv.all(), false);
    /// ```
568
    pub fn all(&self) -> bool {
569
        let mut last_word = !0u32;
570 571 572 573 574 575
        // Check that every block but the last is all-ones...
        self.blocks().all(|elem| {
            let tmp = last_word;
            last_word = elem;
            tmp == !0u32
        // and then check the last one has enough ones
576
        }) && (last_word == mask_for_bits(self.nbits))
577
    }
578

P
P1start 已提交
579
    /// Returns an iterator over the elements of the vector in order.
J
Joseph Crail 已提交
580
    ///
581
    /// # Examples
J
Joseph Crail 已提交
582
    ///
J
Jonas Hietala 已提交
583
    /// ```
A
Aaron Turon 已提交
584
    /// use std::collections::BitVec;
J
Jonas Hietala 已提交
585
    ///
A
Aaron Turon 已提交
586
    /// let bv = BitVec::from_bytes(&[0b01110100, 0b10010010]);
587
    /// assert_eq!(bv.iter().filter(|x| *x).count(), 7);
J
Joseph Crail 已提交
588
    /// ```
589
    #[inline]
B
Brian Anderson 已提交
590
    #[stable(feature = "rust1", since = "1.0.0")]
A
Alexis Beingessner 已提交
591
    pub fn iter(&self) -> Iter {
A
Aaron Turon 已提交
592
        Iter { bit_vec: self, next_idx: 0, end_idx: self.nbits }
A
Alex Crichton 已提交
593
    }
594

P
P1start 已提交
595
    /// Returns `true` if all bits are 0.
J
Jonas Hietala 已提交
596
    ///
597
    /// # Examples
J
Jonas Hietala 已提交
598 599
    ///
    /// ```
A
Aaron Turon 已提交
600
    /// use std::collections::BitVec;
J
Jonas Hietala 已提交
601
    ///
A
Aaron Turon 已提交
602
    /// let mut bv = BitVec::from_elem(10, false);
J
Jonas Hietala 已提交
603 604 605 606 607
    /// assert_eq!(bv.none(), true);
    ///
    /// bv.set(3, true);
    /// assert_eq!(bv.none(), false);
    /// ```
608
    pub fn none(&self) -> bool {
609
        self.blocks().all(|w| w == 0)
610
    }
611

P
P1start 已提交
612
    /// Returns `true` if any bit is 1.
J
Jonas Hietala 已提交
613
    ///
614
    /// # Examples
J
Jonas Hietala 已提交
615 616
    ///
    /// ```
A
Aaron Turon 已提交
617
    /// use std::collections::BitVec;
J
Jonas Hietala 已提交
618
    ///
A
Aaron Turon 已提交
619
    /// let mut bv = BitVec::from_elem(10, false);
J
Jonas Hietala 已提交
620 621 622 623 624
    /// assert_eq!(bv.any(), false);
    ///
    /// bv.set(3, true);
    /// assert_eq!(bv.any(), true);
    /// ```
625 626 627 628 629
    #[inline]
    pub fn any(&self) -> bool {
        !self.none()
    }

P
P1start 已提交
630
    /// Organises the bits into bytes, such that the first bit in the
A
Aaron Turon 已提交
631 632
    /// `BitVec` becomes the high-order bit of the first byte. If the
    /// size of the `BitVec` is not a multiple of eight then trailing bits
J
Jonas Hietala 已提交
633
    /// will be filled-in with `false`.
J
Jonas Hietala 已提交
634
    ///
635
    /// # Examples
J
Jonas Hietala 已提交
636 637
    ///
    /// ```
A
Aaron Turon 已提交
638
    /// use std::collections::BitVec;
J
Jonas Hietala 已提交
639
    ///
A
Aaron Turon 已提交
640
    /// let mut bv = BitVec::from_elem(3, true);
J
Jonas Hietala 已提交
641 642 643 644
    /// bv.set(1, false);
    ///
    /// assert_eq!(bv.to_bytes(), vec!(0b10100000));
    ///
A
Aaron Turon 已提交
645
    /// let mut bv = BitVec::from_elem(9, false);
J
Jonas Hietala 已提交
646 647 648 649 650
    /// bv.set(2, true);
    /// bv.set(8, true);
    ///
    /// assert_eq!(bv.to_bytes(), vec!(0b00100000, 0b10000000));
    /// ```
651
    pub fn to_bytes(&self) -> Vec<u8> {
A
Aaron Turon 已提交
652
        fn bit(bit_vec: &BitVec, byte: usize, bit: usize) -> u8 {
653
            let offset = byte * 8 + bit;
A
Aaron Turon 已提交
654
            if offset >= bit_vec.nbits {
655 656
                0
            } else {
A
Aaron Turon 已提交
657
                (bit_vec[offset] as u8) << (7 - bit)
658 659 660 661 662
            }
        }

        let len = self.nbits/8 +
                  if self.nbits % 8 == 0 { 0 } else { 1 };
663
        (0..len).map(|i|
664 665 666 667 668 669 670 671
            bit(self, i, 0) |
            bit(self, i, 1) |
            bit(self, i, 2) |
            bit(self, i, 3) |
            bit(self, i, 4) |
            bit(self, i, 5) |
            bit(self, i, 6) |
            bit(self, i, 7)
A
Aaron Turon 已提交
672
        ).collect()
673 674
    }

A
Aaron Turon 已提交
675 676
    /// Compares a `BitVec` to a slice of `bool`s.
    /// Both the `BitVec` and slice must have the same length.
P
P1start 已提交
677
    ///
678
    /// # Panics
J
Jonas Hietala 已提交
679
    ///
A
Aaron Turon 已提交
680
    /// Panics if the `BitVec` and slice are of different length.
J
Jonas Hietala 已提交
681
    ///
682
    /// # Examples
J
Jonas Hietala 已提交
683 684
    ///
    /// ```
A
Aaron Turon 已提交
685
    /// use std::collections::BitVec;
J
Jonas Hietala 已提交
686
    ///
A
Aaron Turon 已提交
687
    /// let bv = BitVec::from_bytes(&[0b10100000]);
J
Jonas Hietala 已提交
688
    ///
N
Nick Cameron 已提交
689 690
    /// assert!(bv.eq_vec(&[true, false, true, false,
    ///                     false, false, false, false]));
J
Jonas Hietala 已提交
691
    /// ```
692
    pub fn eq_vec(&self, v: &[bool]) -> bool {
693
        assert_eq!(self.nbits, v.len());
T
Tobias Bucher 已提交
694
        iter::order::eq(self.iter(), v.iter().cloned())
695
    }
696

A
Aaron Turon 已提交
697
    /// Shortens a `BitVec`, dropping excess elements.
698 699 700 701
    ///
    /// If `len` is greater than the vector's current length, this has no
    /// effect.
    ///
702
    /// # Examples
703
    ///
J
Jonas Hietala 已提交
704
    /// ```
A
Aaron Turon 已提交
705
    /// use std::collections::BitVec;
J
Jonas Hietala 已提交
706
    ///
A
Aaron Turon 已提交
707
    /// let mut bv = BitVec::from_bytes(&[0b01001011]);
J
Jonas Hietala 已提交
708
    /// bv.truncate(2);
N
Nick Cameron 已提交
709
    /// assert!(bv.eq_vec(&[false, true]));
710
    /// ```
B
Brian Anderson 已提交
711
    #[stable(feature = "rust1", since = "1.0.0")]
A
Alexis 已提交
712
    pub fn truncate(&mut self, len: usize) {
713 714
        if len < self.len() {
            self.nbits = len;
T
Tobias Bucher 已提交
715
            // This fixes (2).
716 717
            self.storage.truncate(blocks_for_bits(len));
            self.fix_last_block();
718 719 720
        }
    }

721
    /// Reserves capacity for at least `additional` more bits to be inserted in the given
A
Aaron Turon 已提交
722
    /// `BitVec`. The collection may reserve more space to avoid frequent reallocations.
723 724 725
    ///
    /// # Panics
    ///
A
Alexis 已提交
726
    /// Panics if the new capacity overflows `usize`.
J
Jonas Hietala 已提交
727
    ///
728
    /// # Examples
J
Jonas Hietala 已提交
729 730
    ///
    /// ```
A
Aaron Turon 已提交
731
    /// use std::collections::BitVec;
J
Jonas Hietala 已提交
732
    ///
A
Aaron Turon 已提交
733
    /// let mut bv = BitVec::from_elem(3, false);
J
Jonas Hietala 已提交
734 735
    /// bv.reserve(10);
    /// assert_eq!(bv.len(), 3);
736 737
    /// assert!(bv.capacity() >= 13);
    /// ```
B
Brian Anderson 已提交
738
    #[stable(feature = "rust1", since = "1.0.0")]
A
Alexis 已提交
739
    pub fn reserve(&mut self, additional: usize) {
740
        let desired_cap = self.len().checked_add(additional).expect("capacity overflow");
T
Tobias Bucher 已提交
741 742 743
        let storage_len = self.storage.len();
        if desired_cap > self.capacity() {
            self.storage.reserve(blocks_for_bits(desired_cap) - storage_len);
744 745 746
        }
    }

747
    /// Reserves the minimum capacity for exactly `additional` more bits to be inserted in the
A
Aaron Turon 已提交
748
    /// given `BitVec`. Does nothing if the capacity is already sufficient.
749 750 751 752 753 754 755
    ///
    /// Note that the allocator may give the collection more space than it requests. Therefore
    /// capacity can not be relied upon to be precisely minimal. Prefer `reserve` if future
    /// insertions are expected.
    ///
    /// # Panics
    ///
A
Alexis 已提交
756
    /// Panics if the new capacity overflows `usize`.
J
Jonas Hietala 已提交
757
    ///
758
    /// # Examples
J
Jonas Hietala 已提交
759 760
    ///
    /// ```
A
Aaron Turon 已提交
761
    /// use std::collections::BitVec;
J
Jonas Hietala 已提交
762
    ///
A
Aaron Turon 已提交
763
    /// let mut bv = BitVec::from_elem(3, false);
J
Jonas Hietala 已提交
764 765
    /// bv.reserve(10);
    /// assert_eq!(bv.len(), 3);
766
    /// assert!(bv.capacity() >= 13);
J
Jonas Hietala 已提交
767
    /// ```
B
Brian Anderson 已提交
768
    #[stable(feature = "rust1", since = "1.0.0")]
A
Alexis 已提交
769
    pub fn reserve_exact(&mut self, additional: usize) {
770
        let desired_cap = self.len().checked_add(additional).expect("capacity overflow");
T
Tobias Bucher 已提交
771 772 773
        let storage_len = self.storage.len();
        if desired_cap > self.capacity() {
            self.storage.reserve_exact(blocks_for_bits(desired_cap) - storage_len);
774 775 776
        }
    }

P
P1start 已提交
777
    /// Returns the capacity in bits for this bit vector. Inserting any
778
    /// element less than this amount will not trigger a resizing.
J
Jonas Hietala 已提交
779
    ///
780
    /// # Examples
J
Jonas Hietala 已提交
781 782
    ///
    /// ```
A
Aaron Turon 已提交
783
    /// use std::collections::BitVec;
J
Jonas Hietala 已提交
784
    ///
A
Aaron Turon 已提交
785
    /// let mut bv = BitVec::new();
J
Jonas Hietala 已提交
786 787 788
    /// bv.reserve(10);
    /// assert!(bv.capacity() >= 10);
    /// ```
789
    #[inline]
B
Brian Anderson 已提交
790
    #[stable(feature = "rust1", since = "1.0.0")]
A
Alexis 已提交
791 792
    pub fn capacity(&self) -> usize {
        self.storage.capacity().checked_mul(u32::BITS).unwrap_or(usize::MAX)
793 794
    }

A
Aaron Turon 已提交
795
    /// Grows the `BitVec` in-place, adding `n` copies of `value` to the `BitVec`.
796
    ///
797 798
    /// # Panics
    ///
A
Alexis 已提交
799
    /// Panics if the new len overflows a `usize`.
800
    ///
801
    /// # Examples
802
    ///
J
Jonas Hietala 已提交
803
    /// ```
A
Aaron Turon 已提交
804
    /// use std::collections::BitVec;
J
Jonas Hietala 已提交
805
    ///
A
Aaron Turon 已提交
806
    /// let mut bv = BitVec::from_bytes(&[0b01001011]);
J
Jonas Hietala 已提交
807
    /// bv.grow(2, true);
808 809
    /// assert_eq!(bv.len(), 10);
    /// assert_eq!(bv.to_bytes(), vec!(0b01001011, 0b11000000));
810
    /// ```
A
Alexis 已提交
811
    pub fn grow(&mut self, n: usize, value: bool) {
812 813 814 815 816 817
        // Note: we just bulk set all the bits in the last word in this fn in multiple places
        // which is technically wrong if not all of these bits are to be used. However, at the end
        // of this fn we call `fix_last_block` at the end of this fn, which should fix this.

        let new_nbits = self.nbits.checked_add(n).expect("capacity overflow");
        let new_nblocks = blocks_for_bits(new_nbits);
818
        let full_value = if value { !0 } else { 0 };
819

820
        // Correct the old tail word, setting or clearing formerly unused bits
821
        let old_last_word = blocks_for_bits(self.nbits) - 1;
822
        if self.nbits % u32::BITS > 0 {
823
            let mask = mask_for_bits(self.nbits);
824
            if value {
825
                self.storage[old_last_word] |= !mask;
826
            } else {
T
Tobias Bucher 已提交
827
                // Extra bits are already zero by invariant.
828 829
            }
        }
830

831
        // Fill in words after the old tail word
832
        let stop_idx = cmp::min(self.storage.len(), new_nblocks);
833
        for idx in old_last_word + 1..stop_idx {
834
            self.storage[idx] = full_value;
835
        }
836

837
        // Allocate new words, if needed
838 839
        if new_nblocks > self.storage.len() {
            let to_add = new_nblocks - self.storage.len();
A
Aaron Turon 已提交
840
            self.storage.extend(repeat(full_value).take(to_add));
841
        }
842

843 844
        // Adjust internal bit count
        self.nbits = new_nbits;
845 846

        self.fix_last_block();
847 848
    }

A
Aaron Turon 已提交
849
    /// Removes the last bit from the BitVec, and returns it. Returns None if the BitVec is empty.
850
    ///
851
    /// # Examples
852
    ///
J
Jonas Hietala 已提交
853
    /// ```
A
Aaron Turon 已提交
854
    /// use std::collections::BitVec;
J
Jonas Hietala 已提交
855
    ///
A
Aaron Turon 已提交
856
    /// let mut bv = BitVec::from_bytes(&[0b01001001]);
857 858
    /// assert_eq!(bv.pop(), Some(true));
    /// assert_eq!(bv.pop(), Some(false));
859
    /// assert_eq!(bv.len(), 6);
860
    /// ```
B
Brian Anderson 已提交
861
    #[stable(feature = "rust1", since = "1.0.0")]
862 863 864 865
    pub fn pop(&mut self) -> Option<bool> {
        if self.is_empty() {
            None
        } else {
J
Josh Stone 已提交
866 867
            let i = self.nbits - 1;
            let ret = self[i];
T
Tobias Bucher 已提交
868
            // (3)
J
Josh Stone 已提交
869 870
            self.set(i, false);
            self.nbits = i;
T
Tobias Bucher 已提交
871 872 873 874
            if self.nbits % u32::BITS == 0 {
                // (2)
                self.storage.pop();
            }
875
            Some(ret)
876 877 878
        }
    }

P
P1start 已提交
879
    /// Pushes a `bool` onto the end.
880
    ///
881
    /// # Examples
882
    ///
J
Jonas Hietala 已提交
883
    /// ```
A
Aaron Turon 已提交
884
    /// use std::collections::BitVec;
J
Jonas Hietala 已提交
885
    ///
A
Aaron Turon 已提交
886
    /// let mut bv = BitVec::new();
J
Jonas Hietala 已提交
887 888
    /// bv.push(true);
    /// bv.push(false);
N
Nick Cameron 已提交
889
    /// assert!(bv.eq_vec(&[true, false]));
890
    /// ```
B
Brian Anderson 已提交
891
    #[stable(feature = "rust1", since = "1.0.0")]
892
    pub fn push(&mut self, elem: bool) {
T
Tobias Bucher 已提交
893
        if self.nbits % u32::BITS == 0 {
894 895
            self.storage.push(0);
        }
T
Tobias Bucher 已提交
896 897
        let insert_pos = self.nbits;
        self.nbits = self.nbits.checked_add(1).expect("Capacity overflow");
898 899
        self.set(insert_pos, elem);
    }
900 901 902

    /// Return the total number of bits in this vector
    #[inline]
B
Brian Anderson 已提交
903
    #[stable(feature = "rust1", since = "1.0.0")]
A
Alexis 已提交
904
    pub fn len(&self) -> usize { self.nbits }
905 906 907

    /// Returns true if there are no bits in this vector
    #[inline]
B
Brian Anderson 已提交
908
    #[stable(feature = "rust1", since = "1.0.0")]
909 910 911 912
    pub fn is_empty(&self) -> bool { self.len() == 0 }

    /// Clears all bits in this vector.
    #[inline]
B
Brian Anderson 已提交
913
    #[stable(feature = "rust1", since = "1.0.0")]
914
    pub fn clear(&mut self) {
915
        for w in &mut self.storage { *w = 0u32; }
916
    }
917
}
918

B
Brian Anderson 已提交
919
#[stable(feature = "rust1", since = "1.0.0")]
A
Aaron Turon 已提交
920
impl Default for BitVec {
921
    #[inline]
A
Aaron Turon 已提交
922
    fn default() -> BitVec { BitVec::new() }
923 924
}

B
Brian Anderson 已提交
925
#[stable(feature = "rust1", since = "1.0.0")]
A
Aaron Turon 已提交
926
impl FromIterator<bool> for BitVec {
A
Alexis 已提交
927
    fn from_iter<I: IntoIterator<Item=bool>>(iter: I) -> BitVec {
928
        let mut ret = BitVec::new();
A
Alexis 已提交
929
        ret.extend(iter);
930 931 932 933
        ret
    }
}

B
Brian Anderson 已提交
934
#[stable(feature = "rust1", since = "1.0.0")]
A
Aaron Turon 已提交
935
impl Extend<bool> for BitVec {
936
    #[inline]
A
Alexis 已提交
937 938
    fn extend<I: IntoIterator<Item=bool>>(&mut self, iterable: I) {
        let iterator = iterable.into_iter();
939
        let (min, _) = iterator.size_hint();
940
        self.reserve(min);
941 942 943 944 945 946
        for element in iterator {
            self.push(element)
        }
    }
}

B
Brian Anderson 已提交
947
#[stable(feature = "rust1", since = "1.0.0")]
A
Aaron Turon 已提交
948
impl Clone for BitVec {
949
    #[inline]
A
Aaron Turon 已提交
950 951
    fn clone(&self) -> BitVec {
        BitVec { storage: self.storage.clone(), nbits: self.nbits }
952 953 954
    }

    #[inline]
A
Aaron Turon 已提交
955
    fn clone_from(&mut self, source: &BitVec) {
956
        self.nbits = source.nbits;
957
        self.storage.clone_from(&source.storage);
958 959 960
    }
}

B
Brian Anderson 已提交
961
#[stable(feature = "rust1", since = "1.0.0")]
A
Aaron Turon 已提交
962
impl PartialOrd for BitVec {
N
nham 已提交
963
    #[inline]
A
Aaron Turon 已提交
964
    fn partial_cmp(&self, other: &BitVec) -> Option<Ordering> {
N
nham 已提交
965 966 967 968
        iter::order::partial_cmp(self.iter(), other.iter())
    }
}

B
Brian Anderson 已提交
969
#[stable(feature = "rust1", since = "1.0.0")]
A
Aaron Turon 已提交
970
impl Ord for BitVec {
971
    #[inline]
A
Aaron Turon 已提交
972
    fn cmp(&self, other: &BitVec) -> Ordering {
973 974 975 976
        iter::order::cmp(self.iter(), other.iter())
    }
}

B
Brian Anderson 已提交
977
#[stable(feature = "rust1", since = "1.0.0")]
A
Aaron Turon 已提交
978
impl fmt::Debug for BitVec {
S
Steven Fackler 已提交
979
    fn fmt(&self, fmt: &mut fmt::Formatter) -> fmt::Result {
980
        for bit in self {
T
Tobias Bucher 已提交
981
            try!(write!(fmt, "{}", if bit { 1u32 } else { 0u32 }));
S
Steven Fackler 已提交
982 983 984 985 986
        }
        Ok(())
    }
}

B
Brian Anderson 已提交
987
#[stable(feature = "rust1", since = "1.0.0")]
988
impl hash::Hash for BitVec {
A
Alex Crichton 已提交
989 990 991 992 993 994 995
    fn hash<H: hash::Hasher>(&self, state: &mut H) {
        self.nbits.hash(state);
        for elem in self.blocks() {
            elem.hash(state);
        }
    }
}
996

B
Brian Anderson 已提交
997
#[stable(feature = "rust1", since = "1.0.0")]
A
Aaron Turon 已提交
998
impl cmp::PartialEq for BitVec {
999
    #[inline]
A
Aaron Turon 已提交
1000
    fn eq(&self, other: &BitVec) -> bool {
1001 1002 1003
        if self.nbits != other.nbits {
            return false;
        }
1004
        self.blocks().zip(other.blocks()).all(|(w1, w2)| w1 == w2)
1005 1006 1007
    }
}

B
Brian Anderson 已提交
1008
#[stable(feature = "rust1", since = "1.0.0")]
A
Aaron Turon 已提交
1009
impl cmp::Eq for BitVec {}
1010

A
Aaron Turon 已提交
1011
/// An iterator for `BitVec`.
B
Brian Anderson 已提交
1012
#[stable(feature = "rust1", since = "1.0.0")]
1013
#[derive(Clone)]
A
Alexis Beingessner 已提交
1014
pub struct Iter<'a> {
A
Aaron Turon 已提交
1015
    bit_vec: &'a BitVec,
A
Alexis 已提交
1016 1017
    next_idx: usize,
    end_idx: usize,
1018 1019
}

B
Brian Anderson 已提交
1020
#[stable(feature = "rust1", since = "1.0.0")]
J
Jorge Aparicio 已提交
1021 1022 1023
impl<'a> Iterator for Iter<'a> {
    type Item = bool;

S
Steven Fackler 已提交
1024
    #[inline]
1025
    fn next(&mut self) -> Option<bool> {
1026
        if self.next_idx != self.end_idx {
1027 1028
            let idx = self.next_idx;
            self.next_idx += 1;
A
Aaron Turon 已提交
1029
            Some(self.bit_vec[idx])
1030 1031 1032 1033 1034
        } else {
            None
        }
    }

A
Alexis 已提交
1035
    fn size_hint(&self) -> (usize, Option<usize>) {
1036
        let rem = self.end_idx - self.next_idx;
1037 1038 1039 1040
        (rem, Some(rem))
    }
}

B
Brian Anderson 已提交
1041
#[stable(feature = "rust1", since = "1.0.0")]
J
Jorge Aparicio 已提交
1042
impl<'a> DoubleEndedIterator for Iter<'a> {
1043 1044 1045 1046
    #[inline]
    fn next_back(&mut self) -> Option<bool> {
        if self.next_idx != self.end_idx {
            self.end_idx -= 1;
A
Aaron Turon 已提交
1047
            Some(self.bit_vec[self.end_idx])
1048 1049 1050 1051 1052 1053
        } else {
            None
        }
    }
}

B
Brian Anderson 已提交
1054
#[stable(feature = "rust1", since = "1.0.0")]
J
Jorge Aparicio 已提交
1055
impl<'a> ExactSizeIterator for Iter<'a> {}
1056

B
Brian Anderson 已提交
1057
#[stable(feature = "rust1", since = "1.0.0")]
J
Jorge Aparicio 已提交
1058
impl<'a> RandomAccessIterator for Iter<'a> {
1059
    #[inline]
A
Alexis 已提交
1060
    fn indexable(&self) -> usize {
1061 1062 1063 1064
        self.end_idx - self.next_idx
    }

    #[inline]
A
Alexis 已提交
1065
    fn idx(&mut self, index: usize) -> Option<bool> {
1066 1067 1068
        if index >= self.indexable() {
            None
        } else {
A
Aaron Turon 已提交
1069
            Some(self.bit_vec[index])
1070 1071 1072 1073
        }
    }
}

1074
#[stable(feature = "rust1", since = "1.0.0")]
A
Aaron Turon 已提交
1075
impl<'a> IntoIterator for &'a BitVec {
1076 1077 1078 1079 1080 1081 1082 1083
    type Item = bool;
    type IntoIter = Iter<'a>;

    fn into_iter(self) -> Iter<'a> {
        self.iter()
    }
}

1084
/// An implementation of a set using a bit vector as an underlying
J
Jonas Hietala 已提交
1085
/// representation for holding unsigned numerical elements.
1086 1087 1088
///
/// It should also be noted that the amount of storage necessary for holding a
/// set of objects is proportional to the maximum of the objects when viewed
A
Alexis 已提交
1089
/// as a `usize`.
J
Jonas Hietala 已提交
1090
///
1091
/// # Examples
J
Jonas Hietala 已提交
1092 1093
///
/// ```
A
Aaron Turon 已提交
1094
/// use std::collections::{BitSet, BitVec};
J
Jonas Hietala 已提交
1095 1096
///
/// // It's a regular set
A
Aaron Turon 已提交
1097
/// let mut s = BitSet::new();
J
Jonas Hietala 已提交
1098 1099 1100 1101 1102 1103 1104 1105 1106 1107
/// s.insert(0);
/// s.insert(3);
/// s.insert(7);
///
/// s.remove(&7);
///
/// if !s.contains(&7) {
///     println!("There is no 7");
/// }
///
A
Aaron Turon 已提交
1108 1109
/// // Can initialize from a `BitVec`
/// let other = BitSet::from_bit_vec(BitVec::from_bytes(&[0b11010000]));
J
Jonas Hietala 已提交
1110 1111 1112 1113 1114 1115 1116 1117
///
/// s.union_with(&other);
///
/// // Print 0, 1, 3 in some order
/// for x in s.iter() {
///     println!("{}", x);
/// }
///
A
Aaron Turon 已提交
1118 1119
/// // Can convert back to a `BitVec`
/// let bv: BitVec = s.into_bit_vec();
1120
/// assert!(bv[3]);
J
Jonas Hietala 已提交
1121
/// ```
1122
#[derive(Clone)]
1123
#[unstable(feature = "collections",
1124
           reason = "RFC 509")]
A
Aaron Turon 已提交
1125 1126
pub struct BitSet {
    bit_vec: BitVec,
1127
}
1128

B
Brian Anderson 已提交
1129
#[stable(feature = "rust1", since = "1.0.0")]
A
Aaron Turon 已提交
1130
impl Default for BitSet {
1131
    #[inline]
A
Aaron Turon 已提交
1132
    fn default() -> BitSet { BitSet::new() }
1133 1134
}

B
Brian Anderson 已提交
1135
#[stable(feature = "rust1", since = "1.0.0")]
A
Aaron Turon 已提交
1136
impl FromIterator<usize> for BitSet {
A
Alexis 已提交
1137
    fn from_iter<I: IntoIterator<Item=usize>>(iter: I) -> BitSet {
1138
        let mut ret = BitSet::new();
A
Alexis 已提交
1139
        ret.extend(iter);
1140 1141 1142 1143
        ret
    }
}

B
Brian Anderson 已提交
1144
#[stable(feature = "rust1", since = "1.0.0")]
A
Aaron Turon 已提交
1145
impl Extend<usize> for BitSet {
1146
    #[inline]
A
Alexis 已提交
1147 1148
    fn extend<I: IntoIterator<Item=usize>>(&mut self, iter: I) {
        for i in iter {
1149 1150
            self.insert(i);
        }
1151 1152 1153
    }
}

B
Brian Anderson 已提交
1154
#[stable(feature = "rust1", since = "1.0.0")]
A
Aaron Turon 已提交
1155
impl PartialOrd for BitSet {
1156
    #[inline]
A
Aaron Turon 已提交
1157
    fn partial_cmp(&self, other: &BitSet) -> Option<Ordering> {
1158
        let (a_iter, b_iter) = match_words(self.get_ref(), other.get_ref());
1159 1160 1161 1162
        iter::order::partial_cmp(a_iter, b_iter)
    }
}

B
Brian Anderson 已提交
1163
#[stable(feature = "rust1", since = "1.0.0")]
A
Aaron Turon 已提交
1164
impl Ord for BitSet {
1165
    #[inline]
A
Aaron Turon 已提交
1166
    fn cmp(&self, other: &BitSet) -> Ordering {
1167
        let (a_iter, b_iter) = match_words(self.get_ref(), other.get_ref());
1168 1169 1170 1171
        iter::order::cmp(a_iter, b_iter)
    }
}

B
Brian Anderson 已提交
1172
#[stable(feature = "rust1", since = "1.0.0")]
A
Aaron Turon 已提交
1173
impl cmp::PartialEq for BitSet {
1174
    #[inline]
A
Aaron Turon 已提交
1175
    fn eq(&self, other: &BitSet) -> bool {
1176
        let (a_iter, b_iter) = match_words(self.get_ref(), other.get_ref());
1177 1178 1179 1180
        iter::order::eq(a_iter, b_iter)
    }
}

B
Brian Anderson 已提交
1181
#[stable(feature = "rust1", since = "1.0.0")]
A
Aaron Turon 已提交
1182
impl cmp::Eq for BitSet {}
1183

A
Aaron Turon 已提交
1184 1185
impl BitSet {
    /// Creates a new empty `BitSet`.
J
Jonas Hietala 已提交
1186
    ///
1187
    /// # Examples
J
Jonas Hietala 已提交
1188 1189
    ///
    /// ```
A
Aaron Turon 已提交
1190
    /// use std::collections::BitSet;
1191
    ///
A
Aaron Turon 已提交
1192
    /// let mut s = BitSet::new();
J
Jonas Hietala 已提交
1193
    /// ```
1194
    #[inline]
B
Brian Anderson 已提交
1195
    #[stable(feature = "rust1", since = "1.0.0")]
A
Aaron Turon 已提交
1196 1197
    pub fn new() -> BitSet {
        BitSet { bit_vec: BitVec::new() }
1198 1199
    }

A
Aaron Turon 已提交
1200
    /// Creates a new `BitSet` with initially no contents, able to
J
Jonas Hietala 已提交
1201 1202
    /// hold `nbits` elements without resizing.
    ///
1203
    /// # Examples
J
Jonas Hietala 已提交
1204 1205
    ///
    /// ```
A
Aaron Turon 已提交
1206
    /// use std::collections::BitSet;
1207
    ///
A
Aaron Turon 已提交
1208
    /// let mut s = BitSet::with_capacity(100);
J
Jonas Hietala 已提交
1209 1210
    /// assert!(s.capacity() >= 100);
    /// ```
1211
    #[inline]
B
Brian Anderson 已提交
1212
    #[stable(feature = "rust1", since = "1.0.0")]
A
Aaron Turon 已提交
1213 1214 1215
    pub fn with_capacity(nbits: usize) -> BitSet {
        let bit_vec = BitVec::from_elem(nbits, false);
        BitSet::from_bit_vec(bit_vec)
1216
    }
E
Eric Holk 已提交
1217

A
Aaron Turon 已提交
1218
    /// Creates a new `BitSet` from the given bit vector.
J
Jonas Hietala 已提交
1219
    ///
1220
    /// # Examples
J
Jonas Hietala 已提交
1221 1222
    ///
    /// ```
A
Aaron Turon 已提交
1223
    /// use std::collections::{BitVec, BitSet};
J
Jonas Hietala 已提交
1224
    ///
A
Aaron Turon 已提交
1225 1226
    /// let bv = BitVec::from_bytes(&[0b01100000]);
    /// let s = BitSet::from_bit_vec(bv);
J
Jonas Hietala 已提交
1227 1228 1229 1230 1231 1232
    ///
    /// // Print 1, 2 in arbitrary order
    /// for x in s.iter() {
    ///     println!("{}", x);
    /// }
    /// ```
1233
    #[inline]
A
Aaron Turon 已提交
1234 1235 1236 1237 1238 1239 1240 1241 1242 1243
    pub fn from_bit_vec(bit_vec: BitVec) -> BitSet {
        BitSet { bit_vec: bit_vec }
    }

    /// Deprecated: use `from_bit_vec`.
    #[inline]
    #[deprecated(since = "1.0.0", reason = "renamed to from_bit_vec")]
    #[unstable(feature = "collections")]
    pub fn from_bitv(bit_vec: BitVec) -> BitSet {
        BitSet { bit_vec: bit_vec }
1244 1245 1246 1247
    }

    /// Returns the capacity in bits for this bit vector. Inserting any
    /// element less than this amount will not trigger a resizing.
J
Jonas Hietala 已提交
1248
    ///
1249
    /// # Examples
J
Jonas Hietala 已提交
1250 1251
    ///
    /// ```
A
Aaron Turon 已提交
1252
    /// use std::collections::BitSet;
J
Jonas Hietala 已提交
1253
    ///
A
Aaron Turon 已提交
1254
    /// let mut s = BitSet::with_capacity(100);
J
Jonas Hietala 已提交
1255 1256
    /// assert!(s.capacity() >= 100);
    /// ```
1257
    #[inline]
B
Brian Anderson 已提交
1258
    #[stable(feature = "rust1", since = "1.0.0")]
A
Alexis 已提交
1259
    pub fn capacity(&self) -> usize {
A
Aaron Turon 已提交
1260
        self.bit_vec.capacity()
1261 1262
    }

A
Aaron Turon 已提交
1263 1264
    /// Reserves capacity for the given `BitSet` to contain `len` distinct elements. In the case
    /// of `BitSet` this means reallocations will not occur as long as all inserted elements
1265
    /// are less than `len`.
1266
    ///
1267
    /// The collection may reserve more space to avoid frequent reallocations.
1268 1269 1270 1271 1272
    ///
    ///
    /// # Examples
    ///
    /// ```
A
Aaron Turon 已提交
1273
    /// use std::collections::BitSet;
1274
    ///
A
Aaron Turon 已提交
1275
    /// let mut s = BitSet::new();
1276 1277
    /// s.reserve_len(10);
    /// assert!(s.capacity() >= 10);
1278
    /// ```
B
Brian Anderson 已提交
1279
    #[stable(feature = "rust1", since = "1.0.0")]
A
Alexis 已提交
1280
    pub fn reserve_len(&mut self, len: usize) {
A
Aaron Turon 已提交
1281
        let cur_len = self.bit_vec.len();
1282
        if len >= cur_len {
A
Aaron Turon 已提交
1283
            self.bit_vec.reserve(len - cur_len);
1284
        }
1285 1286
    }

A
Aaron Turon 已提交
1287 1288
    /// Reserves the minimum capacity for the given `BitSet` to contain `len` distinct elements.
    /// In the case of `BitSet` this means reallocations will not occur as long as all inserted
1289
    /// elements are less than `len`.
1290 1291
    ///
    /// Note that the allocator may give the collection more space than it requests. Therefore
1292
    /// capacity can not be relied upon to be precisely minimal. Prefer `reserve_len` if future
1293 1294
    /// insertions are expected.
    ///
J
Jonas Hietala 已提交
1295
    ///
1296
    /// # Examples
J
Jonas Hietala 已提交
1297 1298
    ///
    /// ```
A
Aaron Turon 已提交
1299
    /// use std::collections::BitSet;
J
Jonas Hietala 已提交
1300
    ///
A
Aaron Turon 已提交
1301
    /// let mut s = BitSet::new();
1302
    /// s.reserve_len_exact(10);
J
Jonas Hietala 已提交
1303 1304
    /// assert!(s.capacity() >= 10);
    /// ```
B
Brian Anderson 已提交
1305
    #[stable(feature = "rust1", since = "1.0.0")]
A
Alexis 已提交
1306
    pub fn reserve_len_exact(&mut self, len: usize) {
A
Aaron Turon 已提交
1307
        let cur_len = self.bit_vec.len();
1308
        if len >= cur_len {
A
Aaron Turon 已提交
1309
            self.bit_vec.reserve_exact(len - cur_len);
1310
        }
1311
    }
1312

1313

P
P1start 已提交
1314
    /// Consumes this set to return the underlying bit vector.
J
Jonas Hietala 已提交
1315
    ///
1316
    /// # Examples
J
Jonas Hietala 已提交
1317 1318
    ///
    /// ```
A
Aaron Turon 已提交
1319
    /// use std::collections::BitSet;
J
Jonas Hietala 已提交
1320
    ///
A
Aaron Turon 已提交
1321
    /// let mut s = BitSet::new();
J
Jonas Hietala 已提交
1322 1323 1324
    /// s.insert(0);
    /// s.insert(3);
    ///
A
Aaron Turon 已提交
1325
    /// let bv = s.into_bit_vec();
1326 1327
    /// assert!(bv[0]);
    /// assert!(bv[3]);
J
Jonas Hietala 已提交
1328
    /// ```
1329
    #[inline]
A
Aaron Turon 已提交
1330 1331
    pub fn into_bit_vec(self) -> BitVec {
        self.bit_vec
1332 1333
    }

P
P1start 已提交
1334
    /// Returns a reference to the underlying bit vector.
J
Jonas Hietala 已提交
1335
    ///
1336
    /// # Examples
J
Jonas Hietala 已提交
1337 1338
    ///
    /// ```
A
Aaron Turon 已提交
1339
    /// use std::collections::BitSet;
J
Jonas Hietala 已提交
1340
    ///
A
Aaron Turon 已提交
1341
    /// let mut s = BitSet::new();
J
Jonas Hietala 已提交
1342 1343 1344
    /// s.insert(0);
    ///
    /// let bv = s.get_ref();
J
Jonas Hietala 已提交
1345
    /// assert_eq!(bv[0], true);
J
Jonas Hietala 已提交
1346
    /// ```
1347
    #[inline]
A
Aaron Turon 已提交
1348 1349
    pub fn get_ref(&self) -> &BitVec {
        &self.bit_vec
1350 1351
    }

1352
    #[inline]
A
Aaron Turon 已提交
1353 1354 1355 1356
    fn other_op<F>(&mut self, other: &BitSet, mut f: F) where F: FnMut(u32, u32) -> u32 {
        // Unwrap BitVecs
        let self_bit_vec = &mut self.bit_vec;
        let other_bit_vec = &other.bit_vec;
1357

A
Aaron Turon 已提交
1358 1359
        let self_len = self_bit_vec.len();
        let other_len = other_bit_vec.len();
1360 1361 1362

        // Expand the vector if necessary
        if self_len < other_len {
A
Aaron Turon 已提交
1363
            self_bit_vec.grow(other_len - self_len, false);
1364
        }
1365 1366

        // virtually pad other with 0's for equal lengths
J
Jorge Aparicio 已提交
1367
        let other_words = {
A
Aaron Turon 已提交
1368
            let (_, result) = match_words(self_bit_vec, other_bit_vec);
1369 1370
            result
        };
1371 1372 1373

        // Apply values found in other
        for (i, w) in other_words {
A
Aaron Turon 已提交
1374
            let old = self_bit_vec.storage[i];
1375
            let new = f(old, w);
A
Aaron Turon 已提交
1376
            self_bit_vec.storage[i] = new;
1377
        }
1378 1379
    }

P
P1start 已提交
1380
    /// Truncates the underlying vector to the least length required.
J
Jonas Hietala 已提交
1381
    ///
1382
    /// # Examples
J
Jonas Hietala 已提交
1383 1384
    ///
    /// ```
A
Aaron Turon 已提交
1385
    /// use std::collections::BitSet;
J
Jonas Hietala 已提交
1386
    ///
A
Aaron Turon 已提交
1387
    /// let mut s = BitSet::new();
J
Jonas Hietala 已提交
1388 1389 1390 1391 1392 1393 1394 1395 1396 1397
    /// s.insert(32183231);
    /// s.remove(&32183231);
    ///
    /// // Internal storage will probably be bigger than necessary
    /// println!("old capacity: {}", s.capacity());
    ///
    /// // Now should be smaller
    /// s.shrink_to_fit();
    /// println!("new capacity: {}", s.capacity());
    /// ```
1398
    #[inline]
B
Brian Anderson 已提交
1399
    #[stable(feature = "rust1", since = "1.0.0")]
1400
    pub fn shrink_to_fit(&mut self) {
A
Aaron Turon 已提交
1401
        let bit_vec = &mut self.bit_vec;
1402
        // Obtain original length
A
Aaron Turon 已提交
1403
        let old_len = bit_vec.storage.len();
1404
        // Obtain coarse trailing zero length
A
Aaron Turon 已提交
1405
        let n = bit_vec.storage.iter().rev().take_while(|&&n| n == 0).count();
1406 1407
        // Truncate
        let trunc_len = cmp::max(old_len - n, 1);
A
Aaron Turon 已提交
1408 1409
        bit_vec.storage.truncate(trunc_len);
        bit_vec.nbits = trunc_len * u32::BITS;
1410 1411
    }

A
Aaron Turon 已提交
1412
    /// Iterator over each u32 stored in the `BitSet`.
J
Jonas Hietala 已提交
1413
    ///
1414
    /// # Examples
J
Jonas Hietala 已提交
1415 1416
    ///
    /// ```
A
Aaron Turon 已提交
1417
    /// use std::collections::{BitVec, BitSet};
J
Jonas Hietala 已提交
1418
    ///
A
Aaron Turon 已提交
1419
    /// let s = BitSet::from_bit_vec(BitVec::from_bytes(&[0b01001010]));
J
Jonas Hietala 已提交
1420 1421 1422 1423 1424 1425
    ///
    /// // Print 1, 4, 6 in arbitrary order
    /// for x in s.iter() {
    ///     println!("{}", x);
    /// }
    /// ```
1426
    #[inline]
B
Brian Anderson 已提交
1427
    #[stable(feature = "rust1", since = "1.0.0")]
A
Aaron Turon 已提交
1428
    pub fn iter(&self) -> bit_set::Iter {
1429
        SetIter {set: self, next_idx: 0}
1430
    }
1431

1432
    /// Iterator over each u32 stored in `self` union `other`.
J
Jonas Hietala 已提交
1433 1434
    /// See [union_with](#method.union_with) for an efficient in-place version.
    ///
1435
    /// # Examples
J
Jonas Hietala 已提交
1436 1437
    ///
    /// ```
A
Aaron Turon 已提交
1438
    /// use std::collections::{BitVec, BitSet};
J
Jonas Hietala 已提交
1439
    ///
A
Aaron Turon 已提交
1440 1441
    /// let a = BitSet::from_bit_vec(BitVec::from_bytes(&[0b01101000]));
    /// let b = BitSet::from_bit_vec(BitVec::from_bytes(&[0b10100000]));
J
Jonas Hietala 已提交
1442 1443 1444 1445 1446 1447
    ///
    /// // Print 0, 1, 2, 4 in arbitrary order
    /// for x in a.union(&b) {
    ///     println!("{}", x);
    /// }
    /// ```
1448
    #[inline]
B
Brian Anderson 已提交
1449
    #[stable(feature = "rust1", since = "1.0.0")]
A
Aaron Turon 已提交
1450
    pub fn union<'a>(&'a self, other: &'a BitSet) -> Union<'a> {
1451 1452
        fn or(w1: u32, w2: u32) -> u32 { w1 | w2 }

A
Alexis Beingessner 已提交
1453
        Union(TwoBitPositions {
1454 1455
            set: self,
            other: other,
1456
            merge: or,
1457 1458
            current_word: 0,
            next_idx: 0
A
Alexis Beingessner 已提交
1459
        })
1460 1461
    }

A
Alexis 已提交
1462
    /// Iterator over each usize stored in `self` intersect `other`.
1463
    /// See [intersect_with](#method.intersect_with) for an efficient in-place version.
J
Jonas Hietala 已提交
1464
    ///
1465
    /// # Examples
J
Jonas Hietala 已提交
1466 1467
    ///
    /// ```
A
Aaron Turon 已提交
1468
    /// use std::collections::{BitVec, BitSet};
J
Jonas Hietala 已提交
1469
    ///
A
Aaron Turon 已提交
1470 1471
    /// let a = BitSet::from_bit_vec(BitVec::from_bytes(&[0b01101000]));
    /// let b = BitSet::from_bit_vec(BitVec::from_bytes(&[0b10100000]));
J
Jonas Hietala 已提交
1472
    ///
1473 1474
    /// // Print 2
    /// for x in a.intersection(&b) {
J
Jonas Hietala 已提交
1475 1476 1477
    ///     println!("{}", x);
    /// }
    /// ```
1478
    #[inline]
B
Brian Anderson 已提交
1479
    #[stable(feature = "rust1", since = "1.0.0")]
A
Aaron Turon 已提交
1480
    pub fn intersection<'a>(&'a self, other: &'a BitSet) -> Intersection<'a> {
1481
        fn bitand(w1: u32, w2: u32) -> u32 { w1 & w2 }
A
Aaron Turon 已提交
1482
        let min = cmp::min(self.bit_vec.len(), other.bit_vec.len());
A
Alexis Beingessner 已提交
1483
        Intersection(TwoBitPositions {
1484 1485
            set: self,
            other: other,
1486
            merge: bitand,
1487
            current_word: 0,
1488
            next_idx: 0
A
Alexis Beingessner 已提交
1489
        }.take(min))
1490 1491
    }

A
Alexis 已提交
1492
    /// Iterator over each usize stored in the `self` setminus `other`.
1493
    /// See [difference_with](#method.difference_with) for an efficient in-place version.
J
Jonas Hietala 已提交
1494
    ///
1495
    /// # Examples
J
Jonas Hietala 已提交
1496 1497
    ///
    /// ```
A
Aaron Turon 已提交
1498
    /// use std::collections::{BitSet, BitVec};
J
Jonas Hietala 已提交
1499
    ///
A
Aaron Turon 已提交
1500 1501
    /// let a = BitSet::from_bit_vec(BitVec::from_bytes(&[0b01101000]));
    /// let b = BitSet::from_bit_vec(BitVec::from_bytes(&[0b10100000]));
J
Jonas Hietala 已提交
1502
    ///
1503
    /// // Print 1, 4 in arbitrary order
1504 1505 1506 1507 1508 1509 1510 1511
    /// for x in a.difference(&b) {
    ///     println!("{}", x);
    /// }
    ///
    /// // Note that difference is not symmetric,
    /// // and `b - a` means something else.
    /// // This prints 0
    /// for x in b.difference(&a) {
J
Jonas Hietala 已提交
1512 1513 1514
    ///     println!("{}", x);
    /// }
    /// ```
1515
    #[inline]
B
Brian Anderson 已提交
1516
    #[stable(feature = "rust1", since = "1.0.0")]
A
Aaron Turon 已提交
1517
    pub fn difference<'a>(&'a self, other: &'a BitSet) -> Difference<'a> {
1518 1519
        fn diff(w1: u32, w2: u32) -> u32 { w1 & !w2 }

A
Alexis Beingessner 已提交
1520
        Difference(TwoBitPositions {
1521 1522
            set: self,
            other: other,
1523
            merge: diff,
1524
            current_word: 0,
1525
            next_idx: 0
A
Alexis Beingessner 已提交
1526
        })
1527 1528
    }

1529
    /// Iterator over each u32 stored in the symmetric difference of `self` and `other`.
1530 1531
    /// See [symmetric_difference_with](#method.symmetric_difference_with) for
    /// an efficient in-place version.
J
Jonas Hietala 已提交
1532
    ///
1533
    /// # Examples
J
Jonas Hietala 已提交
1534 1535
    ///
    /// ```
A
Aaron Turon 已提交
1536
    /// use std::collections::{BitSet, BitVec};
J
Jonas Hietala 已提交
1537
    ///
A
Aaron Turon 已提交
1538 1539
    /// let a = BitSet::from_bit_vec(BitVec::from_bytes(&[0b01101000]));
    /// let b = BitSet::from_bit_vec(BitVec::from_bytes(&[0b10100000]));
J
Jonas Hietala 已提交
1540
    ///
1541 1542
    /// // Print 0, 1, 4 in arbitrary order
    /// for x in a.symmetric_difference(&b) {
J
Jonas Hietala 已提交
1543 1544 1545
    ///     println!("{}", x);
    /// }
    /// ```
1546
    #[inline]
B
Brian Anderson 已提交
1547
    #[stable(feature = "rust1", since = "1.0.0")]
A
Aaron Turon 已提交
1548
    pub fn symmetric_difference<'a>(&'a self, other: &'a BitSet) -> SymmetricDifference<'a> {
1549 1550
        fn bitxor(w1: u32, w2: u32) -> u32 { w1 ^ w2 }

A
Alexis Beingessner 已提交
1551
        SymmetricDifference(TwoBitPositions {
1552 1553
            set: self,
            other: other,
1554
            merge: bitxor,
1555
            current_word: 0,
1556
            next_idx: 0
A
Alexis Beingessner 已提交
1557
        })
1558 1559
    }

P
P1start 已提交
1560
    /// Unions in-place with the specified other bit vector.
J
Jonas Hietala 已提交
1561
    ///
1562
    /// # Examples
J
Jonas Hietala 已提交
1563 1564
    ///
    /// ```
A
Aaron Turon 已提交
1565
    /// use std::collections::{BitSet, BitVec};
J
Jonas Hietala 已提交
1566
    ///
1567 1568 1569 1570
    /// let a   = 0b01101000;
    /// let b   = 0b10100000;
    /// let res = 0b11101000;
    ///
A
Aaron Turon 已提交
1571 1572 1573
    /// let mut a = BitSet::from_bit_vec(BitVec::from_bytes(&[a]));
    /// let b = BitSet::from_bit_vec(BitVec::from_bytes(&[b]));
    /// let res = BitSet::from_bit_vec(BitVec::from_bytes(&[res]));
J
Jonas Hietala 已提交
1574 1575
    ///
    /// a.union_with(&b);
1576
    /// assert_eq!(a, res);
J
Jonas Hietala 已提交
1577
    /// ```
1578
    #[inline]
A
Aaron Turon 已提交
1579
    pub fn union_with(&mut self, other: &BitSet) {
1580 1581 1582
        self.other_op(other, |w1, w2| w1 | w2);
    }

P
P1start 已提交
1583
    /// Intersects in-place with the specified other bit vector.
J
Jonas Hietala 已提交
1584
    ///
1585
    /// # Examples
J
Jonas Hietala 已提交
1586 1587
    ///
    /// ```
A
Aaron Turon 已提交
1588
    /// use std::collections::{BitSet, BitVec};
J
Jonas Hietala 已提交
1589
    ///
1590 1591 1592 1593
    /// let a   = 0b01101000;
    /// let b   = 0b10100000;
    /// let res = 0b00100000;
    ///
A
Aaron Turon 已提交
1594 1595 1596
    /// let mut a = BitSet::from_bit_vec(BitVec::from_bytes(&[a]));
    /// let b = BitSet::from_bit_vec(BitVec::from_bytes(&[b]));
    /// let res = BitSet::from_bit_vec(BitVec::from_bytes(&[res]));
J
Jonas Hietala 已提交
1597 1598
    ///
    /// a.intersect_with(&b);
1599
    /// assert_eq!(a, res);
J
Jonas Hietala 已提交
1600
    /// ```
1601
    #[inline]
A
Aaron Turon 已提交
1602
    pub fn intersect_with(&mut self, other: &BitSet) {
1603 1604 1605
        self.other_op(other, |w1, w2| w1 & w2);
    }

P
P1start 已提交
1606 1607
    /// Makes this bit vector the difference with the specified other bit vector
    /// in-place.
J
Jonas Hietala 已提交
1608
    ///
1609
    /// # Examples
J
Jonas Hietala 已提交
1610 1611
    ///
    /// ```
A
Aaron Turon 已提交
1612
    /// use std::collections::{BitSet, BitVec};
J
Jonas Hietala 已提交
1613
    ///
1614 1615 1616 1617 1618
    /// let a   = 0b01101000;
    /// let b   = 0b10100000;
    /// let a_b = 0b01001000; // a - b
    /// let b_a = 0b10000000; // b - a
    ///
A
Aaron Turon 已提交
1619 1620 1621 1622
    /// let mut bva = BitSet::from_bit_vec(BitVec::from_bytes(&[a]));
    /// let bvb = BitSet::from_bit_vec(BitVec::from_bytes(&[b]));
    /// let bva_b = BitSet::from_bit_vec(BitVec::from_bytes(&[a_b]));
    /// let bvb_a = BitSet::from_bit_vec(BitVec::from_bytes(&[b_a]));
1623 1624
    ///
    /// bva.difference_with(&bvb);
1625
    /// assert_eq!(bva, bva_b);
J
Jonas Hietala 已提交
1626
    ///
A
Aaron Turon 已提交
1627 1628
    /// let bva = BitSet::from_bit_vec(BitVec::from_bytes(&[a]));
    /// let mut bvb = BitSet::from_bit_vec(BitVec::from_bytes(&[b]));
1629 1630
    ///
    /// bvb.difference_with(&bva);
1631
    /// assert_eq!(bvb, bvb_a);
J
Jonas Hietala 已提交
1632
    /// ```
1633
    #[inline]
A
Aaron Turon 已提交
1634
    pub fn difference_with(&mut self, other: &BitSet) {
1635 1636 1637
        self.other_op(other, |w1, w2| w1 & !w2);
    }

P
P1start 已提交
1638 1639
    /// Makes this bit vector the symmetric difference with the specified other
    /// bit vector in-place.
J
Jonas Hietala 已提交
1640
    ///
1641
    /// # Examples
J
Jonas Hietala 已提交
1642 1643
    ///
    /// ```
A
Aaron Turon 已提交
1644
    /// use std::collections::{BitSet, BitVec};
J
Jonas Hietala 已提交
1645
    ///
1646 1647 1648 1649
    /// let a   = 0b01101000;
    /// let b   = 0b10100000;
    /// let res = 0b11001000;
    ///
A
Aaron Turon 已提交
1650 1651 1652
    /// let mut a = BitSet::from_bit_vec(BitVec::from_bytes(&[a]));
    /// let b = BitSet::from_bit_vec(BitVec::from_bytes(&[b]));
    /// let res = BitSet::from_bit_vec(BitVec::from_bytes(&[res]));
J
Jonas Hietala 已提交
1653 1654
    ///
    /// a.symmetric_difference_with(&b);
1655
    /// assert_eq!(a, res);
J
Jonas Hietala 已提交
1656
    /// ```
1657
    #[inline]
A
Aaron Turon 已提交
1658
    pub fn symmetric_difference_with(&mut self, other: &BitSet) {
1659 1660
        self.other_op(other, |w1, w2| w1 ^ w2);
    }
S
Steven Fackler 已提交
1661

1662 1663
    /// Return the number of set bits in this set.
    #[inline]
B
Brian Anderson 已提交
1664
    #[stable(feature = "rust1", since = "1.0.0")]
A
Alexis 已提交
1665
    pub fn len(&self) -> usize  {
A
Aaron Turon 已提交
1666
        self.bit_vec.blocks().fold(0, |acc, n| acc + n.count_ones())
1667 1668
    }

1669
    /// Returns whether there are no bits set in this set
1670
    #[inline]
B
Brian Anderson 已提交
1671
    #[stable(feature = "rust1", since = "1.0.0")]
1672
    pub fn is_empty(&self) -> bool {
A
Aaron Turon 已提交
1673
        self.bit_vec.none()
1674
    }
1675

1676
    /// Clears all bits in this set
1677
    #[inline]
B
Brian Anderson 已提交
1678
    #[stable(feature = "rust1", since = "1.0.0")]
1679
    pub fn clear(&mut self) {
A
Aaron Turon 已提交
1680
        self.bit_vec.clear();
1681 1682
    }

1683
    /// Returns `true` if this set contains the specified integer.
1684
    #[inline]
B
Brian Anderson 已提交
1685
    #[stable(feature = "rust1", since = "1.0.0")]
A
Alexis 已提交
1686
    pub fn contains(&self, value: &usize) -> bool {
A
Aaron Turon 已提交
1687 1688
        let bit_vec = &self.bit_vec;
        *value < bit_vec.nbits && bit_vec[*value]
1689 1690
    }

1691 1692
    /// Returns `true` if the set has no elements in common with `other`.
    /// This is equivalent to checking for an empty intersection.
1693
    #[inline]
B
Brian Anderson 已提交
1694
    #[stable(feature = "rust1", since = "1.0.0")]
A
Aaron Turon 已提交
1695
    pub fn is_disjoint(&self, other: &BitSet) -> bool {
1696
        self.intersection(other).next().is_none()
1697 1698
    }

1699
    /// Returns `true` if the set is a subset of another.
1700
    #[inline]
B
Brian Anderson 已提交
1701
    #[stable(feature = "rust1", since = "1.0.0")]
A
Aaron Turon 已提交
1702 1703 1704 1705
    pub fn is_subset(&self, other: &BitSet) -> bool {
        let self_bit_vec = &self.bit_vec;
        let other_bit_vec = &other.bit_vec;
        let other_blocks = blocks_for_bits(other_bit_vec.len());
1706 1707

        // Check that `self` intersect `other` is self
A
Aaron Turon 已提交
1708
        self_bit_vec.blocks().zip(other_bit_vec.blocks()).all(|(w1, w2)| w1 & w2 == w1) &&
1709
        // Make sure if `self` has any more blocks than `other`, they're all 0
A
Aaron Turon 已提交
1710
        self_bit_vec.blocks().skip(other_blocks).all(|w| w == 0)
1711 1712
    }

1713
    /// Returns `true` if the set is a superset of another.
1714
    #[inline]
B
Brian Anderson 已提交
1715
    #[stable(feature = "rust1", since = "1.0.0")]
A
Aaron Turon 已提交
1716
    pub fn is_superset(&self, other: &BitSet) -> bool {
1717 1718 1719
        other.is_subset(self)
    }

1720 1721
    /// Adds a value to the set. Returns `true` if the value was not already
    /// present in the set.
B
Brian Anderson 已提交
1722
    #[stable(feature = "rust1", since = "1.0.0")]
A
Alexis 已提交
1723
    pub fn insert(&mut self, value: usize) -> bool {
1724 1725 1726
        if self.contains(&value) {
            return false;
        }
1727 1728

        // Ensure we have enough space to hold the new element
A
Aaron Turon 已提交
1729
        let len = self.bit_vec.len();
1730
        if value >= len {
A
Aaron Turon 已提交
1731
            self.bit_vec.grow(value - len + 1, false)
1732
        }
1733

A
Aaron Turon 已提交
1734
        self.bit_vec.set(value, true);
1735 1736 1737
        return true;
    }

1738 1739
    /// Removes a value from the set. Returns `true` if the value was
    /// present in the set.
B
Brian Anderson 已提交
1740
    #[stable(feature = "rust1", since = "1.0.0")]
A
Alexis 已提交
1741
    pub fn remove(&mut self, value: &usize) -> bool {
1742 1743 1744
        if !self.contains(value) {
            return false;
        }
1745

A
Aaron Turon 已提交
1746
        self.bit_vec.set(*value, false);
1747

1748 1749 1750 1751
        return true;
    }
}

1752
#[stable(feature = "rust1", since = "1.0.0")]
A
Aaron Turon 已提交
1753
impl fmt::Debug for BitSet {
1754
    fn fmt(&self, fmt: &mut fmt::Formatter) -> fmt::Result {
A
Aaron Turon 已提交
1755
        try!(write!(fmt, "BitSet {{"));
1756
        let mut first = true;
1757
        for n in self {
1758 1759 1760
            if !first {
                try!(write!(fmt, ", "));
            }
1761
            try!(write!(fmt, "{:?}", n));
1762 1763 1764 1765 1766 1767
            first = false;
        }
        write!(fmt, "}}")
    }
}

A
Alex Crichton 已提交
1768
#[stable(feature = "rust1", since = "1.0.0")]
1769
impl hash::Hash for BitSet {
A
Alex Crichton 已提交
1770 1771 1772 1773 1774 1775
    fn hash<H: hash::Hasher>(&self, state: &mut H) {
        for pos in self {
            pos.hash(state);
        }
    }
}
1776

A
Aaron Turon 已提交
1777
/// An iterator for `BitSet`.
1778
#[derive(Clone)]
B
Brian Anderson 已提交
1779
#[stable(feature = "rust1", since = "1.0.0")]
A
Alexis Beingessner 已提交
1780
pub struct SetIter<'a> {
A
Aaron Turon 已提交
1781
    set: &'a BitSet,
A
Alexis 已提交
1782
    next_idx: usize
1783 1784
}

A
Aaron Turon 已提交
1785
/// An iterator combining two `BitSet` iterators.
1786
#[derive(Clone)]
A
Alexis Beingessner 已提交
1787
struct TwoBitPositions<'a> {
A
Aaron Turon 已提交
1788 1789
    set: &'a BitSet,
    other: &'a BitSet,
1790
    merge: fn(u32, u32) -> u32,
1791
    current_word: u32,
A
Alexis 已提交
1792
    next_idx: usize
1793 1794
}

B
Brian Anderson 已提交
1795
#[stable(feature = "rust1", since = "1.0.0")]
A
Alexis Beingessner 已提交
1796
pub struct Union<'a>(TwoBitPositions<'a>);
B
Brian Anderson 已提交
1797
#[stable(feature = "rust1", since = "1.0.0")]
A
Alexis Beingessner 已提交
1798
pub struct Intersection<'a>(Take<TwoBitPositions<'a>>);
B
Brian Anderson 已提交
1799
#[stable(feature = "rust1", since = "1.0.0")]
A
Alexis Beingessner 已提交
1800
pub struct Difference<'a>(TwoBitPositions<'a>);
B
Brian Anderson 已提交
1801
#[stable(feature = "rust1", since = "1.0.0")]
A
Alexis Beingessner 已提交
1802 1803
pub struct SymmetricDifference<'a>(TwoBitPositions<'a>);

B
Brian Anderson 已提交
1804
#[stable(feature = "rust1", since = "1.0.0")]
J
Jorge Aparicio 已提交
1805
impl<'a> Iterator for SetIter<'a> {
A
Alexis 已提交
1806
    type Item = usize;
J
Jorge Aparicio 已提交
1807

A
Alexis 已提交
1808
    fn next(&mut self) -> Option<usize> {
A
Aaron Turon 已提交
1809
        while self.next_idx < self.set.bit_vec.len() {
1810 1811 1812 1813 1814 1815 1816 1817 1818 1819 1820
            let idx = self.next_idx;
            self.next_idx += 1;

            if self.set.contains(&idx) {
                return Some(idx);
            }
        }

        return None;
    }

1821
    #[inline]
A
Alexis 已提交
1822
    fn size_hint(&self) -> (usize, Option<usize>) {
A
Aaron Turon 已提交
1823
        (0, Some(self.set.bit_vec.len() - self.next_idx))
1824 1825 1826
    }
}

B
Brian Anderson 已提交
1827
#[stable(feature = "rust1", since = "1.0.0")]
J
Jorge Aparicio 已提交
1828
impl<'a> Iterator for TwoBitPositions<'a> {
A
Alexis 已提交
1829
    type Item = usize;
J
Jorge Aparicio 已提交
1830

A
Alexis 已提交
1831
    fn next(&mut self) -> Option<usize> {
A
Aaron Turon 已提交
1832 1833
        while self.next_idx < self.set.bit_vec.len() ||
              self.next_idx < self.other.bit_vec.len() {
1834
            let bit_idx = self.next_idx % u32::BITS;
1835
            if bit_idx == 0 {
A
Aaron Turon 已提交
1836 1837
                let s_bit_vec = &self.set.bit_vec;
                let o_bit_vec = &self.other.bit_vec;
1838
                // Merging the two words is a bit of an awkward dance since
A
Aaron Turon 已提交
1839
                // one BitVec might be longer than the other
1840
                let word_idx = self.next_idx / u32::BITS;
A
Aaron Turon 已提交
1841 1842
                let w1 = if word_idx < s_bit_vec.storage.len() {
                             s_bit_vec.storage[word_idx]
1843
                         } else { 0 };
A
Aaron Turon 已提交
1844 1845
                let w2 = if word_idx < o_bit_vec.storage.len() {
                             o_bit_vec.storage[word_idx]
1846 1847 1848 1849 1850 1851 1852 1853 1854 1855 1856 1857
                         } else { 0 };
                self.current_word = (self.merge)(w1, w2);
            }

            self.next_idx += 1;
            if self.current_word & (1 << bit_idx) != 0 {
                return Some(self.next_idx - 1);
            }
        }
        return None;
    }

1858
    #[inline]
A
Alexis 已提交
1859
    fn size_hint(&self) -> (usize, Option<usize>) {
A
Aaron Turon 已提交
1860
        let cap = cmp::max(self.set.bit_vec.len(), self.other.bit_vec.len());
1861 1862 1863 1864
        (0, Some(cap - self.next_idx))
    }
}

B
Brian Anderson 已提交
1865
#[stable(feature = "rust1", since = "1.0.0")]
J
Jorge Aparicio 已提交
1866
impl<'a> Iterator for Union<'a> {
A
Alexis 已提交
1867
    type Item = usize;
J
Jorge Aparicio 已提交
1868

A
Alexis 已提交
1869 1870
    #[inline] fn next(&mut self) -> Option<usize> { self.0.next() }
    #[inline] fn size_hint(&self) -> (usize, Option<usize>) { self.0.size_hint() }
A
Alexis Beingessner 已提交
1871 1872
}

B
Brian Anderson 已提交
1873
#[stable(feature = "rust1", since = "1.0.0")]
J
Jorge Aparicio 已提交
1874
impl<'a> Iterator for Intersection<'a> {
A
Alexis 已提交
1875
    type Item = usize;
J
Jorge Aparicio 已提交
1876

A
Alexis 已提交
1877 1878
    #[inline] fn next(&mut self) -> Option<usize> { self.0.next() }
    #[inline] fn size_hint(&self) -> (usize, Option<usize>) { self.0.size_hint() }
A
Alexis Beingessner 已提交
1879
}
1880

B
Brian Anderson 已提交
1881
#[stable(feature = "rust1", since = "1.0.0")]
J
Jorge Aparicio 已提交
1882
impl<'a> Iterator for Difference<'a> {
A
Alexis 已提交
1883
    type Item = usize;
J
Jorge Aparicio 已提交
1884

A
Alexis 已提交
1885 1886
    #[inline] fn next(&mut self) -> Option<usize> { self.0.next() }
    #[inline] fn size_hint(&self) -> (usize, Option<usize>) { self.0.size_hint() }
A
Alexis Beingessner 已提交
1887
}
1888

B
Brian Anderson 已提交
1889
#[stable(feature = "rust1", since = "1.0.0")]
J
Jorge Aparicio 已提交
1890
impl<'a> Iterator for SymmetricDifference<'a> {
A
Alexis 已提交
1891
    type Item = usize;
J
Jorge Aparicio 已提交
1892

A
Alexis 已提交
1893 1894
    #[inline] fn next(&mut self) -> Option<usize> { self.0.next() }
    #[inline] fn size_hint(&self) -> (usize, Option<usize>) { self.0.size_hint() }
A
Alexis Beingessner 已提交
1895
}
1896

1897
#[stable(feature = "rust1", since = "1.0.0")]
A
Aaron Turon 已提交
1898
impl<'a> IntoIterator for &'a BitSet {
1899 1900 1901 1902 1903 1904 1905 1906
    type Item = usize;
    type IntoIter = SetIter<'a>;

    fn into_iter(self) -> SetIter<'a> {
        self.iter()
    }
}

1907 1908
#[cfg(test)]
mod tests {
1909 1910
    use prelude::*;
    use core::u32;
1911

A
Aaron Turon 已提交
1912
    use super::BitVec;
1913

1914
    #[test]
1915
    fn test_to_str() {
A
Aaron Turon 已提交
1916
        let zerolen = BitVec::new();
A
Alex Crichton 已提交
1917
        assert_eq!(format!("{:?}", zerolen), "");
1918

A
Aaron Turon 已提交
1919
        let eightbits = BitVec::from_elem(8, false);
A
Alex Crichton 已提交
1920
        assert_eq!(format!("{:?}", eightbits), "00000000")
1921 1922
    }

1923
    #[test]
1924
    fn test_0_elements() {
A
Aaron Turon 已提交
1925
        let act = BitVec::new();
A
Alex Crichton 已提交
1926
        let exp = Vec::new();
1927
        assert!(act.eq_vec(&exp));
1928
        assert!(act.none() && act.all());
1929 1930 1931
    }

    #[test]
1932
    fn test_1_element() {
A
Aaron Turon 已提交
1933
        let mut act = BitVec::from_elem(1, false);
N
Nick Cameron 已提交
1934
        assert!(act.eq_vec(&[false]));
1935
        assert!(act.none() && !act.all());
A
Aaron Turon 已提交
1936
        act = BitVec::from_elem(1, true);
N
Nick Cameron 已提交
1937
        assert!(act.eq_vec(&[true]));
1938
        assert!(!act.none() && act.all());
1939 1940
    }

1941
    #[test]
1942
    fn test_2_elements() {
A
Aaron Turon 已提交
1943
        let mut b = BitVec::from_elem(2, false);
1944 1945
        b.set(0, true);
        b.set(1, false);
A
Alex Crichton 已提交
1946
        assert_eq!(format!("{:?}", b), "10");
1947
        assert!(!b.none() && !b.all());
1948 1949
    }

1950
    #[test]
1951
    fn test_10_elements() {
1952
        let mut act;
1953 1954
        // all 0

A
Aaron Turon 已提交
1955
        act = BitVec::from_elem(10, false);
1956
        assert!((act.eq_vec(
N
Nick Cameron 已提交
1957
                    &[false, false, false, false, false, false, false, false, false, false])));
1958
        assert!(act.none() && !act.all());
1959 1960
        // all 1

A
Aaron Turon 已提交
1961
        act = BitVec::from_elem(10, true);
N
Nick Cameron 已提交
1962
        assert!((act.eq_vec(&[true, true, true, true, true, true, true, true, true, true])));
1963
        assert!(!act.none() && act.all());
1964 1965
        // mixed

A
Aaron Turon 已提交
1966
        act = BitVec::from_elem(10, false);
1967 1968 1969 1970 1971
        act.set(0, true);
        act.set(1, true);
        act.set(2, true);
        act.set(3, true);
        act.set(4, true);
N
Nick Cameron 已提交
1972
        assert!((act.eq_vec(&[true, true, true, true, true, false, false, false, false, false])));
1973
        assert!(!act.none() && !act.all());
1974 1975
        // mixed

A
Aaron Turon 已提交
1976
        act = BitVec::from_elem(10, false);
1977 1978 1979 1980 1981
        act.set(5, true);
        act.set(6, true);
        act.set(7, true);
        act.set(8, true);
        act.set(9, true);
N
Nick Cameron 已提交
1982
        assert!((act.eq_vec(&[false, false, false, false, false, true, true, true, true, true])));
1983
        assert!(!act.none() && !act.all());
1984 1985
        // mixed

A
Aaron Turon 已提交
1986
        act = BitVec::from_elem(10, false);
1987 1988 1989 1990
        act.set(0, true);
        act.set(3, true);
        act.set(6, true);
        act.set(9, true);
N
Nick Cameron 已提交
1991
        assert!((act.eq_vec(&[true, false, false, true, false, false, true, false, false, true])));
1992
        assert!(!act.none() && !act.all());
1993 1994 1995
    }

    #[test]
1996
    fn test_31_elements() {
1997
        let mut act;
1998 1999
        // all 0

A
Aaron Turon 已提交
2000
        act = BitVec::from_elem(31, false);
P
Patrick Walton 已提交
2001
        assert!(act.eq_vec(
N
Nick Cameron 已提交
2002 2003 2004
                &[false, false, false, false, false, false, false, false, false, false, false,
                  false, false, false, false, false, false, false, false, false, false, false,
                  false, false, false, false, false, false, false, false, false]));
2005
        assert!(act.none() && !act.all());
2006 2007
        // all 1

A
Aaron Turon 已提交
2008
        act = BitVec::from_elem(31, true);
P
Patrick Walton 已提交
2009
        assert!(act.eq_vec(
N
Nick Cameron 已提交
2010 2011 2012
                &[true, true, true, true, true, true, true, true, true, true, true, true, true,
                  true, true, true, true, true, true, true, true, true, true, true, true, true,
                  true, true, true, true, true]));
2013
        assert!(!act.none() && act.all());
2014 2015
        // mixed

A
Aaron Turon 已提交
2016
        act = BitVec::from_elem(31, false);
2017 2018 2019 2020 2021 2022 2023 2024
        act.set(0, true);
        act.set(1, true);
        act.set(2, true);
        act.set(3, true);
        act.set(4, true);
        act.set(5, true);
        act.set(6, true);
        act.set(7, true);
P
Patrick Walton 已提交
2025
        assert!(act.eq_vec(
N
Nick Cameron 已提交
2026 2027 2028
                &[true, true, true, true, true, true, true, true, false, false, false, false, false,
                  false, false, false, false, false, false, false, false, false, false, false,
                  false, false, false, false, false, false, false]));
2029
        assert!(!act.none() && !act.all());
2030 2031
        // mixed

A
Aaron Turon 已提交
2032
        act = BitVec::from_elem(31, false);
2033 2034 2035 2036 2037 2038 2039 2040
        act.set(16, true);
        act.set(17, true);
        act.set(18, true);
        act.set(19, true);
        act.set(20, true);
        act.set(21, true);
        act.set(22, true);
        act.set(23, true);
P
Patrick Walton 已提交
2041
        assert!(act.eq_vec(
N
Nick Cameron 已提交
2042 2043 2044
                &[false, false, false, false, false, false, false, false, false, false, false,
                  false, false, false, false, false, true, true, true, true, true, true, true, true,
                  false, false, false, false, false, false, false]));
2045
        assert!(!act.none() && !act.all());
2046 2047
        // mixed

A
Aaron Turon 已提交
2048
        act = BitVec::from_elem(31, false);
2049 2050 2051 2052 2053 2054 2055
        act.set(24, true);
        act.set(25, true);
        act.set(26, true);
        act.set(27, true);
        act.set(28, true);
        act.set(29, true);
        act.set(30, true);
P
Patrick Walton 已提交
2056
        assert!(act.eq_vec(
N
Nick Cameron 已提交
2057 2058 2059
                &[false, false, false, false, false, false, false, false, false, false, false,
                  false, false, false, false, false, false, false, false, false, false, false,
                  false, false, true, true, true, true, true, true, true]));
2060
        assert!(!act.none() && !act.all());
2061 2062
        // mixed

A
Aaron Turon 已提交
2063
        act = BitVec::from_elem(31, false);
2064 2065 2066
        act.set(3, true);
        act.set(17, true);
        act.set(30, true);
P
Patrick Walton 已提交
2067
        assert!(act.eq_vec(
N
Nick Cameron 已提交
2068 2069 2070
                &[false, false, false, true, false, false, false, false, false, false, false, false,
                  false, false, false, false, false, true, false, false, false, false, false, false,
                  false, false, false, false, false, false, true]));
2071
        assert!(!act.none() && !act.all());
2072 2073 2074
    }

    #[test]
2075
    fn test_32_elements() {
2076
        let mut act;
2077 2078
        // all 0

A
Aaron Turon 已提交
2079
        act = BitVec::from_elem(32, false);
P
Patrick Walton 已提交
2080
        assert!(act.eq_vec(
N
Nick Cameron 已提交
2081 2082 2083
                &[false, false, false, false, false, false, false, false, false, false, false,
                  false, false, false, false, false, false, false, false, false, false, false,
                  false, false, false, false, false, false, false, false, false, false]));
2084
        assert!(act.none() && !act.all());
2085 2086
        // all 1

A
Aaron Turon 已提交
2087
        act = BitVec::from_elem(32, true);
P
Patrick Walton 已提交
2088
        assert!(act.eq_vec(
N
Nick Cameron 已提交
2089 2090 2091
                &[true, true, true, true, true, true, true, true, true, true, true, true, true,
                  true, true, true, true, true, true, true, true, true, true, true, true, true,
                  true, true, true, true, true, true]));
2092
        assert!(!act.none() && act.all());
2093 2094
        // mixed

A
Aaron Turon 已提交
2095
        act = BitVec::from_elem(32, false);
2096 2097 2098 2099 2100 2101 2102 2103
        act.set(0, true);
        act.set(1, true);
        act.set(2, true);
        act.set(3, true);
        act.set(4, true);
        act.set(5, true);
        act.set(6, true);
        act.set(7, true);
P
Patrick Walton 已提交
2104
        assert!(act.eq_vec(
N
Nick Cameron 已提交
2105 2106 2107
                &[true, true, true, true, true, true, true, true, false, false, false, false, false,
                  false, false, false, false, false, false, false, false, false, false, false,
                  false, false, false, false, false, false, false, false]));
2108
        assert!(!act.none() && !act.all());
2109 2110
        // mixed

A
Aaron Turon 已提交
2111
        act = BitVec::from_elem(32, false);
2112 2113 2114 2115 2116 2117 2118 2119
        act.set(16, true);
        act.set(17, true);
        act.set(18, true);
        act.set(19, true);
        act.set(20, true);
        act.set(21, true);
        act.set(22, true);
        act.set(23, true);
P
Patrick Walton 已提交
2120
        assert!(act.eq_vec(
N
Nick Cameron 已提交
2121 2122 2123
                &[false, false, false, false, false, false, false, false, false, false, false,
                  false, false, false, false, false, true, true, true, true, true, true, true, true,
                  false, false, false, false, false, false, false, false]));
2124
        assert!(!act.none() && !act.all());
2125 2126
        // mixed

A
Aaron Turon 已提交
2127
        act = BitVec::from_elem(32, false);
2128 2129 2130 2131 2132 2133 2134 2135
        act.set(24, true);
        act.set(25, true);
        act.set(26, true);
        act.set(27, true);
        act.set(28, true);
        act.set(29, true);
        act.set(30, true);
        act.set(31, true);
P
Patrick Walton 已提交
2136
        assert!(act.eq_vec(
N
Nick Cameron 已提交
2137 2138 2139
                &[false, false, false, false, false, false, false, false, false, false, false,
                  false, false, false, false, false, false, false, false, false, false, false,
                  false, false, true, true, true, true, true, true, true, true]));
2140
        assert!(!act.none() && !act.all());
2141 2142
        // mixed

A
Aaron Turon 已提交
2143
        act = BitVec::from_elem(32, false);
2144 2145 2146 2147
        act.set(3, true);
        act.set(17, true);
        act.set(30, true);
        act.set(31, true);
P
Patrick Walton 已提交
2148
        assert!(act.eq_vec(
N
Nick Cameron 已提交
2149 2150 2151
                &[false, false, false, true, false, false, false, false, false, false, false, false,
                  false, false, false, false, false, true, false, false, false, false, false, false,
                  false, false, false, false, false, false, true, true]));
2152
        assert!(!act.none() && !act.all());
2153 2154 2155
    }

    #[test]
2156
    fn test_33_elements() {
2157
        let mut act;
2158 2159
        // all 0

A
Aaron Turon 已提交
2160
        act = BitVec::from_elem(33, false);
P
Patrick Walton 已提交
2161
        assert!(act.eq_vec(
N
Nick Cameron 已提交
2162 2163 2164
                &[false, false, false, false, false, false, false, false, false, false, false,
                  false, false, false, false, false, false, false, false, false, false, false,
                  false, false, false, false, false, false, false, false, false, false, false]));
2165
        assert!(act.none() && !act.all());
2166 2167
        // all 1

A
Aaron Turon 已提交
2168
        act = BitVec::from_elem(33, true);
P
Patrick Walton 已提交
2169
        assert!(act.eq_vec(
N
Nick Cameron 已提交
2170 2171 2172
                &[true, true, true, true, true, true, true, true, true, true, true, true, true,
                  true, true, true, true, true, true, true, true, true, true, true, true, true,
                  true, true, true, true, true, true, true]));
2173
        assert!(!act.none() && act.all());
2174 2175
        // mixed

A
Aaron Turon 已提交
2176
        act = BitVec::from_elem(33, false);
2177 2178 2179 2180 2181 2182 2183 2184
        act.set(0, true);
        act.set(1, true);
        act.set(2, true);
        act.set(3, true);
        act.set(4, true);
        act.set(5, true);
        act.set(6, true);
        act.set(7, true);
P
Patrick Walton 已提交
2185
        assert!(act.eq_vec(
N
Nick Cameron 已提交
2186 2187 2188
                &[true, true, true, true, true, true, true, true, false, false, false, false, false,
                  false, false, false, false, false, false, false, false, false, false, false,
                  false, false, false, false, false, false, false, false, false]));
2189
        assert!(!act.none() && !act.all());
2190 2191
        // mixed

A
Aaron Turon 已提交
2192
        act = BitVec::from_elem(33, false);
2193 2194 2195 2196 2197 2198 2199 2200
        act.set(16, true);
        act.set(17, true);
        act.set(18, true);
        act.set(19, true);
        act.set(20, true);
        act.set(21, true);
        act.set(22, true);
        act.set(23, true);
P
Patrick Walton 已提交
2201
        assert!(act.eq_vec(
N
Nick Cameron 已提交
2202 2203 2204
                &[false, false, false, false, false, false, false, false, false, false, false,
                  false, false, false, false, false, true, true, true, true, true, true, true, true,
                  false, false, false, false, false, false, false, false, false]));
2205
        assert!(!act.none() && !act.all());
2206 2207
        // mixed

A
Aaron Turon 已提交
2208
        act = BitVec::from_elem(33, false);
2209 2210 2211 2212 2213 2214 2215 2216
        act.set(24, true);
        act.set(25, true);
        act.set(26, true);
        act.set(27, true);
        act.set(28, true);
        act.set(29, true);
        act.set(30, true);
        act.set(31, true);
P
Patrick Walton 已提交
2217
        assert!(act.eq_vec(
N
Nick Cameron 已提交
2218 2219 2220
                &[false, false, false, false, false, false, false, false, false, false, false,
                  false, false, false, false, false, false, false, false, false, false, false,
                  false, false, true, true, true, true, true, true, true, true, false]));
2221
        assert!(!act.none() && !act.all());
2222 2223
        // mixed

A
Aaron Turon 已提交
2224
        act = BitVec::from_elem(33, false);
2225 2226 2227 2228 2229
        act.set(3, true);
        act.set(17, true);
        act.set(30, true);
        act.set(31, true);
        act.set(32, true);
P
Patrick Walton 已提交
2230
        assert!(act.eq_vec(
N
Nick Cameron 已提交
2231 2232 2233
                &[false, false, false, true, false, false, false, false, false, false, false, false,
                  false, false, false, false, false, true, false, false, false, false, false, false,
                  false, false, false, false, false, false, true, true, true]));
2234
        assert!(!act.none() && !act.all());
2235 2236
    }

G
Graydon Hoare 已提交
2237
    #[test]
2238
    fn test_equal_differing_sizes() {
A
Aaron Turon 已提交
2239 2240
        let v0 = BitVec::from_elem(10, false);
        let v1 = BitVec::from_elem(11, false);
2241
        assert!(v0 != v1);
G
Graydon Hoare 已提交
2242 2243 2244
    }

    #[test]
2245
    fn test_equal_greatly_differing_sizes() {
A
Aaron Turon 已提交
2246 2247
        let v0 = BitVec::from_elem(10, false);
        let v1 = BitVec::from_elem(110, false);
2248
        assert!(v0 != v1);
G
Graydon Hoare 已提交
2249
    }
2250 2251

    #[test]
2252
    fn test_equal_sneaky_small() {
A
Aaron Turon 已提交
2253
        let mut a = BitVec::from_elem(1, false);
2254 2255
        a.set(0, true);

A
Aaron Turon 已提交
2256
        let mut b = BitVec::from_elem(1, true);
2257 2258
        b.set(0, true);

2259
        assert_eq!(a, b);
2260 2261 2262
    }

    #[test]
2263
    fn test_equal_sneaky_big() {
A
Aaron Turon 已提交
2264
        let mut a = BitVec::from_elem(100, false);
2265
        for i in 0..100 {
2266 2267 2268
            a.set(i, true);
        }

A
Aaron Turon 已提交
2269
        let mut b = BitVec::from_elem(100, true);
2270
        for i in 0..100 {
2271 2272 2273
            b.set(i, true);
        }

2274
        assert_eq!(a, b);
2275 2276
    }

2277
    #[test]
2278
    fn test_from_bytes() {
A
Aaron Turon 已提交
2279
        let bit_vec = BitVec::from_bytes(&[0b10110110, 0b00000000, 0b11111111]);
2280
        let str = concat!("10110110", "00000000", "11111111");
A
Aaron Turon 已提交
2281
        assert_eq!(format!("{:?}", bit_vec), str);
2282 2283 2284
    }

    #[test]
2285
    fn test_to_bytes() {
A
Aaron Turon 已提交
2286
        let mut bv = BitVec::from_elem(3, true);
2287
        bv.set(1, false);
2288
        assert_eq!(bv.to_bytes(), vec!(0b10100000));
2289

A
Aaron Turon 已提交
2290
        let mut bv = BitVec::from_elem(9, false);
2291 2292
        bv.set(2, true);
        bv.set(8, true);
2293
        assert_eq!(bv.to_bytes(), vec!(0b00100000, 0b10000000));
2294 2295 2296
    }

    #[test]
2297
    fn test_from_bools() {
2298
        let bools = vec![true, false, true, true];
A
Aaron Turon 已提交
2299 2300
        let bit_vec: BitVec = bools.iter().map(|n| *n).collect();
        assert_eq!(format!("{:?}", bit_vec), "1011");
2301 2302 2303
    }

    #[test]
2304
    fn test_to_bools() {
A
Alexis 已提交
2305
        let bools = vec![false, false, true, false, false, true, true, false];
A
Aaron Turon 已提交
2306
        assert_eq!(BitVec::from_bytes(&[0b00100110]).iter().collect::<Vec<bool>>(), bools);
2307
    }
2308

S
Steven Fackler 已提交
2309
    #[test]
A
Aaron Turon 已提交
2310
    fn test_bit_vec_iterator() {
2311
        let bools = vec![true, false, true, true];
A
Aaron Turon 已提交
2312
        let bit_vec: BitVec = bools.iter().map(|n| *n).collect();
S
Steven Fackler 已提交
2313

A
Aaron Turon 已提交
2314
        assert_eq!(bit_vec.iter().collect::<Vec<bool>>(), bools);
2315

A
Alexis 已提交
2316
        let long: Vec<_> = (0i32..10000).map(|i| i % 2 == 0).collect();
A
Aaron Turon 已提交
2317 2318
        let bit_vec: BitVec = long.iter().map(|n| *n).collect();
        assert_eq!(bit_vec.iter().collect::<Vec<bool>>(), long)
S
Steven Fackler 已提交
2319 2320
    }

2321
    #[test]
2322
    fn test_small_difference() {
A
Aaron Turon 已提交
2323 2324
        let mut b1 = BitVec::from_elem(3, false);
        let mut b2 = BitVec::from_elem(3, false);
2325 2326 2327 2328
        b1.set(0, true);
        b1.set(1, true);
        b2.set(1, true);
        b2.set(2, true);
P
Patrick Walton 已提交
2329
        assert!(b1.difference(&b2));
2330 2331 2332
        assert!(b1[0]);
        assert!(!b1[1]);
        assert!(!b1[2]);
2333 2334 2335
    }

    #[test]
2336
    fn test_big_difference() {
A
Aaron Turon 已提交
2337 2338
        let mut b1 = BitVec::from_elem(100, false);
        let mut b2 = BitVec::from_elem(100, false);
2339 2340 2341 2342
        b1.set(0, true);
        b1.set(40, true);
        b2.set(40, true);
        b2.set(80, true);
P
Patrick Walton 已提交
2343
        assert!(b1.difference(&b2));
2344 2345 2346
        assert!(b1[0]);
        assert!(!b1[40]);
        assert!(!b1[80]);
2347
    }
2348 2349

    #[test]
2350
    fn test_small_clear() {
A
Aaron Turon 已提交
2351
        let mut b = BitVec::from_elem(14, true);
2352
        assert!(!b.none() && b.all());
2353
        b.clear();
2354
        assert!(b.none() && !b.all());
2355 2356 2357
    }

    #[test]
2358
    fn test_big_clear() {
A
Aaron Turon 已提交
2359
        let mut b = BitVec::from_elem(140, true);
2360
        assert!(!b.none() && b.all());
2361
        b.clear();
2362
        assert!(b.none() && !b.all());
2363 2364
    }

2365
    #[test]
A
Aaron Turon 已提交
2366 2367 2368
    fn test_bit_vec_lt() {
        let mut a = BitVec::from_elem(5, false);
        let mut b = BitVec::from_elem(5, false);
2369 2370 2371 2372 2373 2374 2375 2376 2377 2378

        assert!(!(a < b) && !(b < a));
        b.set(2, true);
        assert!(a < b);
        a.set(3, true);
        assert!(a < b);
        a.set(2, true);
        assert!(!(a < b) && b < a);
        b.set(0, true);
        assert!(a < b);
2379 2380
    }

2381
    #[test]
2382
    fn test_ord() {
A
Aaron Turon 已提交
2383 2384
        let mut a = BitVec::from_elem(5, false);
        let mut b = BitVec::from_elem(5, false);
2385

2386 2387 2388 2389 2390 2391 2392 2393
        assert!(a <= b && a >= b);
        a.set(1, true);
        assert!(a > b && a >= b);
        assert!(b < a && b <= a);
        b.set(1, true);
        b.set(2, true);
        assert!(b > a && b >= a);
        assert!(a < b && a <= b);
2394 2395 2396
    }


2397
    #[test]
A
Aaron Turon 已提交
2398 2399
    fn test_small_bit_vec_tests() {
        let v = BitVec::from_bytes(&[0]);
2400 2401 2402
        assert!(!v.all());
        assert!(!v.any());
        assert!(v.none());
2403

A
Aaron Turon 已提交
2404
        let v = BitVec::from_bytes(&[0b00010100]);
2405 2406 2407
        assert!(!v.all());
        assert!(v.any());
        assert!(!v.none());
2408

A
Aaron Turon 已提交
2409
        let v = BitVec::from_bytes(&[0xFF]);
2410 2411 2412
        assert!(v.all());
        assert!(v.any());
        assert!(!v.none());
2413 2414 2415
    }

    #[test]
A
Aaron Turon 已提交
2416 2417
    fn test_big_bit_vec_tests() {
        let v = BitVec::from_bytes(&[ // 88 bits
2418 2419 2420 2421 2422 2423 2424
            0, 0, 0, 0,
            0, 0, 0, 0,
            0, 0, 0]);
        assert!(!v.all());
        assert!(!v.any());
        assert!(v.none());

A
Aaron Turon 已提交
2425
        let v = BitVec::from_bytes(&[ // 88 bits
2426 2427 2428 2429 2430 2431 2432
            0, 0, 0b00010100, 0,
            0, 0, 0, 0b00110100,
            0, 0, 0]);
        assert!(!v.all());
        assert!(v.any());
        assert!(!v.none());

A
Aaron Turon 已提交
2433
        let v = BitVec::from_bytes(&[ // 88 bits
2434 2435 2436 2437 2438 2439 2440 2441 2442
            0xFF, 0xFF, 0xFF, 0xFF,
            0xFF, 0xFF, 0xFF, 0xFF,
            0xFF, 0xFF, 0xFF]);
        assert!(v.all());
        assert!(v.any());
        assert!(!v.none());
    }

    #[test]
A
Aaron Turon 已提交
2443 2444
    fn test_bit_vec_push_pop() {
        let mut s = BitVec::from_elem(5 * u32::BITS - 2, false);
2445 2446 2447 2448 2449 2450 2451 2452 2453 2454 2455 2456 2457 2458 2459 2460 2461 2462 2463 2464 2465
        assert_eq!(s.len(), 5 * u32::BITS - 2);
        assert_eq!(s[5 * u32::BITS - 3], false);
        s.push(true);
        s.push(true);
        assert_eq!(s[5 * u32::BITS - 2], true);
        assert_eq!(s[5 * u32::BITS - 1], true);
        // Here the internal vector will need to be extended
        s.push(false);
        assert_eq!(s[5 * u32::BITS], false);
        s.push(false);
        assert_eq!(s[5 * u32::BITS + 1], false);
        assert_eq!(s.len(), 5 * u32::BITS + 2);
        // Pop it all off
        assert_eq!(s.pop(), Some(false));
        assert_eq!(s.pop(), Some(false));
        assert_eq!(s.pop(), Some(true));
        assert_eq!(s.pop(), Some(true));
        assert_eq!(s.len(), 5 * u32::BITS - 2);
    }

    #[test]
A
Aaron Turon 已提交
2466 2467
    fn test_bit_vec_truncate() {
        let mut s = BitVec::from_elem(5 * u32::BITS, true);
2468

A
Aaron Turon 已提交
2469
        assert_eq!(s, BitVec::from_elem(5 * u32::BITS, true));
2470 2471
        assert_eq!(s.len(), 5 * u32::BITS);
        s.truncate(4 * u32::BITS);
A
Aaron Turon 已提交
2472
        assert_eq!(s, BitVec::from_elem(4 * u32::BITS, true));
2473 2474 2475
        assert_eq!(s.len(), 4 * u32::BITS);
        // Truncating to a size > s.len() should be a noop
        s.truncate(5 * u32::BITS);
A
Aaron Turon 已提交
2476
        assert_eq!(s, BitVec::from_elem(4 * u32::BITS, true));
2477 2478
        assert_eq!(s.len(), 4 * u32::BITS);
        s.truncate(3 * u32::BITS - 10);
A
Aaron Turon 已提交
2479
        assert_eq!(s, BitVec::from_elem(3 * u32::BITS - 10, true));
2480 2481
        assert_eq!(s.len(), 3 * u32::BITS - 10);
        s.truncate(0);
A
Aaron Turon 已提交
2482
        assert_eq!(s, BitVec::from_elem(0, true));
2483 2484 2485 2486
        assert_eq!(s.len(), 0);
    }

    #[test]
A
Aaron Turon 已提交
2487 2488
    fn test_bit_vec_reserve() {
        let mut s = BitVec::from_elem(5 * u32::BITS, true);
2489 2490 2491 2492 2493 2494 2495 2496 2497 2498 2499 2500 2501 2502 2503 2504 2505 2506 2507 2508 2509 2510
        // Check capacity
        assert!(s.capacity() >= 5 * u32::BITS);
        s.reserve(2 * u32::BITS);
        assert!(s.capacity() >= 7 * u32::BITS);
        s.reserve(7 * u32::BITS);
        assert!(s.capacity() >= 12 * u32::BITS);
        s.reserve_exact(7 * u32::BITS);
        assert!(s.capacity() >= 12 * u32::BITS);
        s.reserve(7 * u32::BITS + 1);
        assert!(s.capacity() >= 12 * u32::BITS + 1);
        // Check that length hasn't changed
        assert_eq!(s.len(), 5 * u32::BITS);
        s.push(true);
        s.push(false);
        s.push(true);
        assert_eq!(s[5 * u32::BITS - 1], true);
        assert_eq!(s[5 * u32::BITS - 0], true);
        assert_eq!(s[5 * u32::BITS + 1], false);
        assert_eq!(s[5 * u32::BITS + 2], true);
    }

    #[test]
A
Aaron Turon 已提交
2511 2512 2513 2514
    fn test_bit_vec_grow() {
        let mut bit_vec = BitVec::from_bytes(&[0b10110110, 0b00000000, 0b10101010]);
        bit_vec.grow(32, true);
        assert_eq!(bit_vec, BitVec::from_bytes(&[0b10110110, 0b00000000, 0b10101010,
2515
                                     0xFF, 0xFF, 0xFF, 0xFF]));
A
Aaron Turon 已提交
2516 2517
        bit_vec.grow(64, false);
        assert_eq!(bit_vec, BitVec::from_bytes(&[0b10110110, 0b00000000, 0b10101010,
2518
                                     0xFF, 0xFF, 0xFF, 0xFF, 0, 0, 0, 0, 0, 0, 0, 0]));
A
Aaron Turon 已提交
2519 2520
        bit_vec.grow(16, true);
        assert_eq!(bit_vec, BitVec::from_bytes(&[0b10110110, 0b00000000, 0b10101010,
2521 2522 2523 2524
                                     0xFF, 0xFF, 0xFF, 0xFF, 0, 0, 0, 0, 0, 0, 0, 0, 0xFF, 0xFF]));
    }

    #[test]
A
Aaron Turon 已提交
2525 2526 2527 2528 2529
    fn test_bit_vec_extend() {
        let mut bit_vec = BitVec::from_bytes(&[0b10110110, 0b00000000, 0b11111111]);
        let ext = BitVec::from_bytes(&[0b01001001, 0b10010010, 0b10111101]);
        bit_vec.extend(ext.iter());
        assert_eq!(bit_vec, BitVec::from_bytes(&[0b10110110, 0b00000000, 0b11111111,
2530 2531 2532 2533 2534 2535 2536 2537
                                     0b01001001, 0b10010010, 0b10111101]));
    }
}




#[cfg(test)]
A
Aaron Turon 已提交
2538
mod bit_vec_bench {
2539
    use std::prelude::v1::*;
2540 2541 2542 2543 2544
    use std::rand;
    use std::rand::Rng;
    use std::u32;
    use test::{Bencher, black_box};

A
Aaron Turon 已提交
2545
    use super::BitVec;
2546

A
Alexis 已提交
2547
    static BENCH_BITS : usize = 1 << 14;
2548 2549 2550 2551 2552 2553 2554

    fn rng() -> rand::IsaacRng {
        let seed: &[_] = &[1, 2, 3, 4, 5, 6, 7, 8, 9, 0];
        rand::SeedableRng::from_seed(seed)
    }

    #[bench]
A
Alexis 已提交
2555
    fn bench_usize_small(b: &mut Bencher) {
2556
        let mut r = rng();
A
Aaron Turon 已提交
2557
        let mut bit_vec = 0 as usize;
2558
        b.iter(|| {
2559
            for _ in 0..100 {
A
Aaron Turon 已提交
2560
                bit_vec |= 1 << ((r.next_u32() as usize) % u32::BITS);
2561
            }
A
Aaron Turon 已提交
2562
            black_box(&bit_vec);
2563 2564 2565 2566
        });
    }

    #[bench]
A
Aaron Turon 已提交
2567
    fn bench_bit_set_big_fixed(b: &mut Bencher) {
2568
        let mut r = rng();
A
Aaron Turon 已提交
2569
        let mut bit_vec = BitVec::from_elem(BENCH_BITS, false);
2570
        b.iter(|| {
2571
            for _ in 0..100 {
A
Aaron Turon 已提交
2572
                bit_vec.set((r.next_u32() as usize) % BENCH_BITS, true);
2573
            }
A
Aaron Turon 已提交
2574
            black_box(&bit_vec);
2575 2576 2577 2578
        });
    }

    #[bench]
A
Aaron Turon 已提交
2579
    fn bench_bit_set_big_variable(b: &mut Bencher) {
2580
        let mut r = rng();
A
Aaron Turon 已提交
2581
        let mut bit_vec = BitVec::from_elem(BENCH_BITS, false);
2582
        b.iter(|| {
2583
            for _ in 0..100 {
A
Aaron Turon 已提交
2584
                bit_vec.set((r.next_u32() as usize) % BENCH_BITS, r.gen());
2585
            }
A
Aaron Turon 已提交
2586
            black_box(&bit_vec);
2587 2588 2589 2590
        });
    }

    #[bench]
A
Aaron Turon 已提交
2591
    fn bench_bit_set_small(b: &mut Bencher) {
2592
        let mut r = rng();
A
Aaron Turon 已提交
2593
        let mut bit_vec = BitVec::from_elem(u32::BITS, false);
2594
        b.iter(|| {
2595
            for _ in 0..100 {
A
Aaron Turon 已提交
2596
                bit_vec.set((r.next_u32() as usize) % u32::BITS, true);
2597
            }
A
Aaron Turon 已提交
2598
            black_box(&bit_vec);
2599 2600 2601 2602
        });
    }

    #[bench]
A
Aaron Turon 已提交
2603 2604 2605
    fn bench_bit_vec_big_union(b: &mut Bencher) {
        let mut b1 = BitVec::from_elem(BENCH_BITS, false);
        let b2 = BitVec::from_elem(BENCH_BITS, false);
2606 2607 2608 2609 2610 2611
        b.iter(|| {
            b1.union(&b2)
        })
    }

    #[bench]
A
Aaron Turon 已提交
2612 2613
    fn bench_bit_vec_small_iter(b: &mut Bencher) {
        let bit_vec = BitVec::from_elem(u32::BITS, false);
2614
        b.iter(|| {
2615 2616
            let mut sum = 0;
            for _ in 0..10 {
A
Aaron Turon 已提交
2617
                for pres in &bit_vec {
A
Alexis 已提交
2618
                    sum += pres as usize;
2619 2620 2621 2622 2623 2624 2625
                }
            }
            sum
        })
    }

    #[bench]
A
Aaron Turon 已提交
2626 2627
    fn bench_bit_vec_big_iter(b: &mut Bencher) {
        let bit_vec = BitVec::from_elem(BENCH_BITS, false);
2628
        b.iter(|| {
2629
            let mut sum = 0;
A
Aaron Turon 已提交
2630
            for pres in &bit_vec {
A
Alexis 已提交
2631
                sum += pres as usize;
2632 2633 2634 2635 2636 2637 2638 2639 2640 2641 2642 2643 2644
            }
            sum
        })
    }
}







#[cfg(test)]
A
Aaron Turon 已提交
2645
mod bit_set_test {
2646
    use prelude::*;
2647 2648
    use std::iter::range_step;

A
Aaron Turon 已提交
2649
    use super::{BitVec, BitSet};
2650 2651

    #[test]
A
Aaron Turon 已提交
2652 2653
    fn test_bit_set_show() {
        let mut s = BitSet::new();
2654 2655 2656 2657
        s.insert(1);
        s.insert(10);
        s.insert(50);
        s.insert(2);
A
Aaron Turon 已提交
2658
        assert_eq!("BitSet {1, 2, 10, 50}", format!("{:?}", s));
2659 2660 2661
    }

    #[test]
A
Aaron Turon 已提交
2662
    fn test_bit_set_from_usizes() {
A
Alexis 已提交
2663
        let usizes = vec![0, 2, 2, 3];
A
Aaron Turon 已提交
2664 2665
        let a: BitSet = usizes.into_iter().collect();
        let mut b = BitSet::new();
2666 2667 2668 2669 2670 2671 2672
        b.insert(0);
        b.insert(2);
        b.insert(3);
        assert_eq!(a, b);
    }

    #[test]
A
Aaron Turon 已提交
2673
    fn test_bit_set_iterator() {
A
Alexis 已提交
2674
        let usizes = vec![0, 2, 2, 3];
A
Aaron Turon 已提交
2675
        let bit_vec: BitSet = usizes.into_iter().collect();
2676

A
Aaron Turon 已提交
2677
        let idxs: Vec<_> = bit_vec.iter().collect();
2678
        assert_eq!(idxs, vec![0, 2, 3]);
2679

A
Aaron Turon 已提交
2680
        let long: BitSet = (0..10000).filter(|&n| n % 2 == 0).collect();
A
Alexis 已提交
2681
        let real: Vec<_> = range_step(0, 10000, 2).collect();
2682

A
Alexis 已提交
2683
        let idxs: Vec<_> = long.iter().collect();
2684 2685 2686 2687
        assert_eq!(idxs, real);
    }

    #[test]
A
Aaron Turon 已提交
2688
    fn test_bit_set_frombit_vec_init() {
2689 2690
        let bools = [true, false];
        let lengths = [10, 64, 100];
2691 2692
        for &b in &bools {
            for &l in &lengths {
A
Aaron Turon 已提交
2693
                let bitset = BitSet::from_bit_vec(BitVec::from_elem(l, b));
2694 2695
                assert_eq!(bitset.contains(&1), b);
                assert_eq!(bitset.contains(&(l-1)), b);
2696
                assert!(!bitset.contains(&l));
2697 2698 2699 2700 2701
            }
        }
    }

    #[test]
A
Aaron Turon 已提交
2702 2703 2704
    fn test_bit_vec_masking() {
        let b = BitVec::from_elem(140, true);
        let mut bs = BitSet::from_bit_vec(b);
2705 2706 2707 2708 2709 2710 2711 2712 2713 2714
        assert!(bs.contains(&139));
        assert!(!bs.contains(&140));
        assert!(bs.insert(150));
        assert!(!bs.contains(&140));
        assert!(!bs.contains(&149));
        assert!(bs.contains(&150));
        assert!(!bs.contains(&151));
    }

    #[test]
A
Aaron Turon 已提交
2715 2716
    fn test_bit_set_basic() {
        let mut b = BitSet::new();
2717 2718 2719 2720 2721 2722 2723 2724 2725 2726 2727 2728 2729
        assert!(b.insert(3));
        assert!(!b.insert(3));
        assert!(b.contains(&3));
        assert!(b.insert(4));
        assert!(!b.insert(4));
        assert!(b.contains(&3));
        assert!(b.insert(400));
        assert!(!b.insert(400));
        assert!(b.contains(&400));
        assert_eq!(b.len(), 3);
    }

    #[test]
A
Aaron Turon 已提交
2730 2731 2732
    fn test_bit_set_intersection() {
        let mut a = BitSet::new();
        let mut b = BitSet::new();
2733 2734

        assert!(a.insert(11));
P
Patrick Walton 已提交
2735 2736 2737 2738 2739
        assert!(a.insert(1));
        assert!(a.insert(3));
        assert!(a.insert(77));
        assert!(a.insert(103));
        assert!(a.insert(5));
2740

P
Patrick Walton 已提交
2741 2742 2743 2744 2745
        assert!(b.insert(2));
        assert!(b.insert(11));
        assert!(b.insert(77));
        assert!(b.insert(5));
        assert!(b.insert(3));
2746 2747

        let expected = [3, 5, 11, 77];
A
Alexis 已提交
2748
        let actual: Vec<_> = a.intersection(&b).collect();
2749
        assert_eq!(actual, expected);
2750 2751 2752
    }

    #[test]
A
Aaron Turon 已提交
2753 2754 2755
    fn test_bit_set_difference() {
        let mut a = BitSet::new();
        let mut b = BitSet::new();
2756

P
Patrick Walton 已提交
2757 2758 2759 2760 2761
        assert!(a.insert(1));
        assert!(a.insert(3));
        assert!(a.insert(5));
        assert!(a.insert(200));
        assert!(a.insert(500));
2762

P
Patrick Walton 已提交
2763 2764
        assert!(b.insert(3));
        assert!(b.insert(200));
2765 2766

        let expected = [1, 5, 500];
A
Alexis 已提交
2767
        let actual: Vec<_> = a.difference(&b).collect();
2768
        assert_eq!(actual, expected);
2769 2770 2771
    }

    #[test]
A
Aaron Turon 已提交
2772 2773 2774
    fn test_bit_set_symmetric_difference() {
        let mut a = BitSet::new();
        let mut b = BitSet::new();
2775

P
Patrick Walton 已提交
2776 2777 2778 2779 2780
        assert!(a.insert(1));
        assert!(a.insert(3));
        assert!(a.insert(5));
        assert!(a.insert(9));
        assert!(a.insert(11));
2781

P
Patrick Walton 已提交
2782 2783 2784 2785
        assert!(b.insert(3));
        assert!(b.insert(9));
        assert!(b.insert(14));
        assert!(b.insert(220));
2786 2787

        let expected = [1, 5, 11, 14, 220];
A
Alexis 已提交
2788
        let actual: Vec<_> = a.symmetric_difference(&b).collect();
2789
        assert_eq!(actual, expected);
2790 2791 2792
    }

    #[test]
A
Aaron Turon 已提交
2793 2794 2795
    fn test_bit_set_union() {
        let mut a = BitSet::new();
        let mut b = BitSet::new();
P
Patrick Walton 已提交
2796 2797 2798 2799 2800 2801 2802 2803
        assert!(a.insert(1));
        assert!(a.insert(3));
        assert!(a.insert(5));
        assert!(a.insert(9));
        assert!(a.insert(11));
        assert!(a.insert(160));
        assert!(a.insert(19));
        assert!(a.insert(24));
2804
        assert!(a.insert(200));
P
Patrick Walton 已提交
2805 2806 2807 2808 2809 2810

        assert!(b.insert(1));
        assert!(b.insert(5));
        assert!(b.insert(9));
        assert!(b.insert(13));
        assert!(b.insert(19));
2811

2812
        let expected = [1, 3, 5, 9, 11, 13, 19, 24, 160, 200];
A
Alexis 已提交
2813
        let actual: Vec<_> = a.union(&b).collect();
2814
        assert_eq!(actual, expected);
2815 2816
    }

2817
    #[test]
A
Aaron Turon 已提交
2818 2819 2820
    fn test_bit_set_subset() {
        let mut set1 = BitSet::new();
        let mut set2 = BitSet::new();
2821 2822 2823 2824 2825 2826 2827 2828 2829 2830 2831 2832 2833 2834 2835 2836 2837 2838 2839 2840 2841 2842

        assert!(set1.is_subset(&set2)); //  {}  {}
        set2.insert(100);
        assert!(set1.is_subset(&set2)); //  {}  { 1 }
        set2.insert(200);
        assert!(set1.is_subset(&set2)); //  {}  { 1, 2 }
        set1.insert(200);
        assert!(set1.is_subset(&set2)); //  { 2 }  { 1, 2 }
        set1.insert(300);
        assert!(!set1.is_subset(&set2)); // { 2, 3 }  { 1, 2 }
        set2.insert(300);
        assert!(set1.is_subset(&set2)); // { 2, 3 }  { 1, 2, 3 }
        set2.insert(400);
        assert!(set1.is_subset(&set2)); // { 2, 3 }  { 1, 2, 3, 4 }
        set2.remove(&100);
        assert!(set1.is_subset(&set2)); // { 2, 3 }  { 2, 3, 4 }
        set2.remove(&300);
        assert!(!set1.is_subset(&set2)); // { 2, 3 }  { 2, 4 }
        set1.remove(&300);
        assert!(set1.is_subset(&set2)); // { 2 }  { 2, 4 }
    }

2843
    #[test]
A
Aaron Turon 已提交
2844 2845 2846 2847 2848
    fn test_bit_set_is_disjoint() {
        let a = BitSet::from_bit_vec(BitVec::from_bytes(&[0b10100010]));
        let b = BitSet::from_bit_vec(BitVec::from_bytes(&[0b01000000]));
        let c = BitSet::new();
        let d = BitSet::from_bit_vec(BitVec::from_bytes(&[0b00110000]));
2849 2850 2851 2852

        assert!(!a.is_disjoint(&d));
        assert!(!d.is_disjoint(&a));

2853 2854 2855 2856 2857 2858
        assert!(a.is_disjoint(&b));
        assert!(a.is_disjoint(&c));
        assert!(b.is_disjoint(&a));
        assert!(b.is_disjoint(&c));
        assert!(c.is_disjoint(&a));
        assert!(c.is_disjoint(&b));
2859 2860
    }

2861
    #[test]
A
Aaron Turon 已提交
2862
    fn test_bit_set_union_with() {
2863
        //a should grow to include larger elements
A
Aaron Turon 已提交
2864
        let mut a = BitSet::new();
2865
        a.insert(0);
A
Aaron Turon 已提交
2866
        let mut b = BitSet::new();
2867
        b.insert(5);
A
Aaron Turon 已提交
2868
        let expected = BitSet::from_bit_vec(BitVec::from_bytes(&[0b10000100]));
2869 2870 2871 2872
        a.union_with(&b);
        assert_eq!(a, expected);

        // Standard
A
Aaron Turon 已提交
2873 2874
        let mut a = BitSet::from_bit_vec(BitVec::from_bytes(&[0b10100010]));
        let mut b = BitSet::from_bit_vec(BitVec::from_bytes(&[0b01100010]));
2875 2876 2877 2878 2879 2880 2881
        let c = a.clone();
        a.union_with(&b);
        b.union_with(&c);
        assert_eq!(a.len(), 4);
        assert_eq!(b.len(), 4);
    }

2882
    #[test]
A
Aaron Turon 已提交
2883
    fn test_bit_set_intersect_with() {
2884
        // Explicitly 0'ed bits
A
Aaron Turon 已提交
2885 2886
        let mut a = BitSet::from_bit_vec(BitVec::from_bytes(&[0b10100010]));
        let mut b = BitSet::from_bit_vec(BitVec::from_bytes(&[0b00000000]));
2887 2888 2889 2890 2891 2892 2893
        let c = a.clone();
        a.intersect_with(&b);
        b.intersect_with(&c);
        assert!(a.is_empty());
        assert!(b.is_empty());

        // Uninitialized bits should behave like 0's
A
Aaron Turon 已提交
2894 2895
        let mut a = BitSet::from_bit_vec(BitVec::from_bytes(&[0b10100010]));
        let mut b = BitSet::new();
2896 2897 2898 2899 2900 2901 2902
        let c = a.clone();
        a.intersect_with(&b);
        b.intersect_with(&c);
        assert!(a.is_empty());
        assert!(b.is_empty());

        // Standard
A
Aaron Turon 已提交
2903 2904
        let mut a = BitSet::from_bit_vec(BitVec::from_bytes(&[0b10100010]));
        let mut b = BitSet::from_bit_vec(BitVec::from_bytes(&[0b01100010]));
2905 2906 2907 2908 2909 2910 2911
        let c = a.clone();
        a.intersect_with(&b);
        b.intersect_with(&c);
        assert_eq!(a.len(), 2);
        assert_eq!(b.len(), 2);
    }

2912
    #[test]
A
Aaron Turon 已提交
2913
    fn test_bit_set_difference_with() {
2914
        // Explicitly 0'ed bits
A
Aaron Turon 已提交
2915 2916
        let mut a = BitSet::from_bit_vec(BitVec::from_bytes(&[0b00000000]));
        let b = BitSet::from_bit_vec(BitVec::from_bytes(&[0b10100010]));
2917 2918 2919 2920
        a.difference_with(&b);
        assert!(a.is_empty());

        // Uninitialized bits should behave like 0's
A
Aaron Turon 已提交
2921 2922
        let mut a = BitSet::new();
        let b = BitSet::from_bit_vec(BitVec::from_bytes(&[0b11111111]));
2923 2924 2925 2926
        a.difference_with(&b);
        assert!(a.is_empty());

        // Standard
A
Aaron Turon 已提交
2927 2928
        let mut a = BitSet::from_bit_vec(BitVec::from_bytes(&[0b10100010]));
        let mut b = BitSet::from_bit_vec(BitVec::from_bytes(&[0b01100010]));
2929 2930 2931 2932 2933 2934 2935 2936
        let c = a.clone();
        a.difference_with(&b);
        b.difference_with(&c);
        assert_eq!(a.len(), 1);
        assert_eq!(b.len(), 1);
    }

    #[test]
A
Aaron Turon 已提交
2937
    fn test_bit_set_symmetric_difference_with() {
2938
        //a should grow to include larger elements
A
Aaron Turon 已提交
2939
        let mut a = BitSet::new();
2940 2941
        a.insert(0);
        a.insert(1);
A
Aaron Turon 已提交
2942
        let mut b = BitSet::new();
2943 2944
        b.insert(1);
        b.insert(5);
A
Aaron Turon 已提交
2945
        let expected = BitSet::from_bit_vec(BitVec::from_bytes(&[0b10000100]));
2946 2947 2948
        a.symmetric_difference_with(&b);
        assert_eq!(a, expected);

A
Aaron Turon 已提交
2949 2950
        let mut a = BitSet::from_bit_vec(BitVec::from_bytes(&[0b10100010]));
        let b = BitSet::new();
2951 2952 2953 2954 2955
        let c = a.clone();
        a.symmetric_difference_with(&b);
        assert_eq!(a, c);

        // Standard
A
Aaron Turon 已提交
2956 2957
        let mut a = BitSet::from_bit_vec(BitVec::from_bytes(&[0b11100010]));
        let mut b = BitSet::from_bit_vec(BitVec::from_bytes(&[0b01101010]));
2958 2959 2960 2961 2962 2963 2964
        let c = a.clone();
        a.symmetric_difference_with(&b);
        b.symmetric_difference_with(&c);
        assert_eq!(a.len(), 2);
        assert_eq!(b.len(), 2);
    }

2965
    #[test]
A
Aaron Turon 已提交
2966 2967 2968 2969
    fn test_bit_set_eq() {
        let a = BitSet::from_bit_vec(BitVec::from_bytes(&[0b10100010]));
        let b = BitSet::from_bit_vec(BitVec::from_bytes(&[0b00000000]));
        let c = BitSet::new();
2970 2971 2972 2973 2974 2975 2976 2977 2978 2979

        assert!(a == a);
        assert!(a != b);
        assert!(a != c);
        assert!(b == b);
        assert!(b == c);
        assert!(c == c);
    }

    #[test]
A
Aaron Turon 已提交
2980 2981 2982 2983
    fn test_bit_set_cmp() {
        let a = BitSet::from_bit_vec(BitVec::from_bytes(&[0b10100010]));
        let b = BitSet::from_bit_vec(BitVec::from_bytes(&[0b00000000]));
        let c = BitSet::new();
2984 2985 2986 2987 2988 2989 2990 2991 2992

        assert_eq!(a.cmp(&b), Greater);
        assert_eq!(a.cmp(&c), Greater);
        assert_eq!(b.cmp(&a), Less);
        assert_eq!(b.cmp(&c), Equal);
        assert_eq!(c.cmp(&a), Less);
        assert_eq!(c.cmp(&b), Equal);
    }

2993
    #[test]
A
Aaron Turon 已提交
2994 2995
    fn test_bit_vec_remove() {
        let mut a = BitSet::new();
2996

P
Patrick Walton 已提交
2997 2998
        assert!(a.insert(1));
        assert!(a.remove(&1));
2999

P
Patrick Walton 已提交
3000 3001
        assert!(a.insert(100));
        assert!(a.remove(&100));
3002

P
Patrick Walton 已提交
3003 3004
        assert!(a.insert(1000));
        assert!(a.remove(&1000));
3005
        a.shrink_to_fit();
N
nham 已提交
3006 3007
    }

S
Steven Fackler 已提交
3008
    #[test]
A
Aaron Turon 已提交
3009 3010
    fn test_bit_vec_clone() {
        let mut a = BitSet::new();
S
Steven Fackler 已提交
3011 3012 3013 3014 3015 3016 3017

        assert!(a.insert(1));
        assert!(a.insert(100));
        assert!(a.insert(1000));

        let mut b = a.clone();

3018
        assert!(a == b);
S
Steven Fackler 已提交
3019 3020 3021 3022 3023 3024 3025

        assert!(b.remove(&1));
        assert!(a.contains(&1));

        assert!(a.remove(&1000));
        assert!(b.contains(&1000));
    }
3026
}
S
Steven Fackler 已提交
3027

3028 3029


3030 3031


3032
#[cfg(test)]
A
Aaron Turon 已提交
3033
mod bit_set_bench {
3034
    use std::prelude::v1::*;
3035 3036 3037 3038
    use std::rand;
    use std::rand::Rng;
    use std::u32;
    use test::{Bencher, black_box};
3039

A
Aaron Turon 已提交
3040
    use super::{BitVec, BitSet};
3041

A
Alexis 已提交
3042
    static BENCH_BITS : usize = 1 << 14;
S
Steven Fackler 已提交
3043

3044
    fn rng() -> rand::IsaacRng {
3045
        let seed: &[_] = &[1, 2, 3, 4, 5, 6, 7, 8, 9, 0];
3046
        rand::SeedableRng::from_seed(seed)
3047 3048 3049
    }

    #[bench]
A
Aaron Turon 已提交
3050
    fn bench_bit_vecset_small(b: &mut Bencher) {
P
Patrick Walton 已提交
3051
        let mut r = rng();
A
Aaron Turon 已提交
3052
        let mut bit_vec = BitSet::new();
3053
        b.iter(|| {
A
Alexis 已提交
3054
            for _ in 0..100 {
A
Aaron Turon 已提交
3055
                bit_vec.insert((r.next_u32() as usize) % u32::BITS);
3056
            }
A
Aaron Turon 已提交
3057
            black_box(&bit_vec);
3058
        });
3059 3060 3061
    }

    #[bench]
A
Aaron Turon 已提交
3062
    fn bench_bit_vecset_big(b: &mut Bencher) {
P
Patrick Walton 已提交
3063
        let mut r = rng();
A
Aaron Turon 已提交
3064
        let mut bit_vec = BitSet::new();
3065
        b.iter(|| {
A
Alexis 已提交
3066
            for _ in 0..100 {
A
Aaron Turon 已提交
3067
                bit_vec.insert((r.next_u32() as usize) % BENCH_BITS);
3068
            }
A
Aaron Turon 已提交
3069
            black_box(&bit_vec);
3070
        });
3071 3072
    }

S
Steven Fackler 已提交
3073
    #[bench]
A
Aaron Turon 已提交
3074 3075
    fn bench_bit_vecset_iter(b: &mut Bencher) {
        let bit_vec = BitSet::from_bit_vec(BitVec::from_fn(BENCH_BITS,
S
Steven Fackler 已提交
3076
                                              |idx| {idx % 3 == 0}));
3077
        b.iter(|| {
A
Alexis 已提交
3078
            let mut sum = 0;
A
Aaron Turon 已提交
3079
            for idx in &bit_vec {
A
Alexis 已提交
3080
                sum += idx as usize;
S
Steven Fackler 已提交
3081
            }
3082
            sum
3083
        })
S
Steven Fackler 已提交
3084
    }
3085
}