BitSet::with_capacity

pub static fn with_capacity(int bits) -> BitSet

use collections::bitset::{BitSet};

Empty set with storage for at least bits indices (0 → no words).

Parameters#

Returns#

BitSet

Contracts#

Checked according to --contracts (see Contracts).

ensures result.size() == 0
ensures result.capacity() >= bits

See also#

• BitSet: A set of non-negative ints stored as bits.
• BitSet::new: Empty set with no word storage (grows on insert).
• BitSet::size: Number of set bits (cardinality).
• BitSet::is_empty: Returns true when no bit is set.
• BitSet::capacity: Current bit capacity (words.len() * 63); grows when inserting past it.
• BitSet::insert: Insert index i; returns true when newly set.
• BitSet::contains: True when index i is set.
• BitSet::remove: Clear index i; returns true when a bit was unset.