Struct indexical::impls::bit_set::BitSet

pub struct BitSet<T> { /* private fields */ }

A fixed-size bitset type with a dense representation.

NOTE: Use GrowableBitSet if you need support for resizing after creation.

T is an index type, typically a newtyped usize wrapper, but it can also just be usize.

All operations that involve an element will panic if the element is equal to or greater than the domain size. All operations that involve two bitsets will panic if the bitsets have differing domain sizes.

Trait Implementations

impl BitSet for BitSet<usize>

type Iter<'a> = BitIter<'a, usize>

Type of iterator returned by iter.

fn empty(size: usize) -> Self

Constructs a new bit-set with a domain of size size.

fn contains(&self, index: usize) -> bool

Returns true if index is 1.

fn insert(&mut self, index: usize) -> bool

Sets index to 1, returning true if self changed.

fn iter(&self) -> Self::Iter<'_>

Returns an iterator over all the indices of ones in the bit-set.

fn intersect(&mut self, other: &Self)

Removes all ones in self not in other.

fn intersect_changed(&mut self, other: &Self) -> bool

Removes all ones in self not in other, returning true if self changed.

fn len(&self) -> usize

Returns the number of ones in the bit-set.

fn union(&mut self, other: &Self)

Adds all ones from other to self.

fn union_changed(&mut self, other: &Self) -> bool

Adds all ones from other to self, returning true if self changed.

fn subtract(&mut self, other: &Self)

Removes all ones from other in self.

fn subtract_changed(&mut self, other: &Self) -> bool

Removes all ones from other in self, returning true if self changed.

fn clear(&mut self)

Sets all bits to 0.

fn invert(&mut self)

Flips all bits in self.

fn insert_all(&mut self)

Adds every element of the domain to self.

fn copy_from(&mut self, other: &Self)

Copies other into self. Must have the same lengths.

fn is_empty(&self) -> bool

Returns true if there are no ones in the bit-set.

fn superset(&self, other: &Self) -> bool

Returns true if all ones in other are a one in self.