stable-vec 0.1.1

A Vec-like collection which guarantees stable indices and features O(1) deletion of elements
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

use super::StableVec;

quickcheck! {
    fn compact(insertions: u16, to_delete: Vec<u16>) -> bool {
        let insertions = insertions + 1;
        // Create stable vector containing `insertions` zeros. Afterwards, we
        // remove at most half of those elements
        let mut sv = StableVec::from(vec![0; insertions as usize]);
        for i in to_delete {
            let i = (i % insertions) as usize;
            if sv.exists(i) {
                sv.remove(i);
            }
        }

        // Remember the number of elements before and call compact.
        let n_before_compact = sv.num_elements();
        sv.compact();

        n_before_compact == sv.num_elements()
            && sv.is_compact()
            && (0..n_before_compact).all(|i| sv.get(i).is_some())
    }
}