[][src]Struct rustc_index::bit_set::BitSet

pub struct BitSet<T> {
    domain_size: usize,
    words: Vec<Word>,
    marker: PhantomData<T>,
}

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.

Fields

domain_size: usizewords: Vec<Word>marker: PhantomData<T>

Implementations

impl<T> BitSet<T>[src]

pub fn domain_size(&self) -> usize[src]

Gets the domain size.

impl<T: Idx> BitSet<T>[src]

pub fn new_empty(domain_size: usize) -> BitSet<T>[src]

Creates a new, empty bitset with a given domain_size.

pub fn new_filled(domain_size: usize) -> BitSet<T>[src]

Creates a new, filled bitset with a given domain_size.

pub fn clear(&mut self)[src]

Clear all elements.

pub(in bit_set) fn clear_excess_bits(
    &mut self
)
[src]

Clear excess bits in the final word.

pub fn count(&self) -> usize[src]

Count the number of set bits in the set.

pub fn contains(&self, elem: T) -> bool[src]

Returns true if self contains elem.

pub fn superset(&self, other: &BitSet<T>) -> bool[src]

Is self is a (non-strict) superset of other?

pub fn is_empty(&self) -> bool[src]

Is the set empty?

pub fn insert(&mut self, elem: T) -> bool[src]

Insert elem. Returns whether the set has changed.

pub fn insert_all(&mut self)[src]

Sets all bits to true.

pub fn remove(&mut self, elem: T) -> bool[src]

Returns true if the set has changed.

pub fn union(&mut self, other: &impl UnionIntoBitSet<T>) -> bool[src]

Sets self = self | other and returns true if self changed (i.e., if new bits were added).

pub fn subtract(&mut self, other: &impl SubtractFromBitSet<T>) -> bool[src]

Sets self = self - other and returns true if self changed. (i.e., if any bits were removed).

pub fn intersect(&mut self, other: &BitSet<T>) -> bool[src]

Sets self = self & other and return true if self changed. (i.e., if any bits were removed).

pub fn words(&self) -> &[Word][src]

Gets a slice of the underlying words.

pub fn iter(&self) -> BitIter<'_, T>

Notable traits for BitIter<'a, T>

impl<'a, T: Idx> Iterator for BitIter<'a, T> type Item = T;
[src]

Iterates over the indices of set bits in a sorted order.

pub fn to_hybrid(&self) -> HybridBitSet<T>[src]

Duplicates the set as a hybrid set.

pub(in bit_set) fn reverse_union_sparse(
    &mut self,
    sparse: &SparseBitSet<T>
) -> bool
[src]

Set self = self | other. In contrast to union returns true if the set contains at least one bit that is not in other (i.e. other is not a superset of self).

This is an optimization for union of a hybrid bitset.

Trait Implementations

impl<T> Clone for BitSet<T>[src]

impl<T: Idx> Debug for BitSet<T>[src]

impl<T, __D: Decoder> Decodable<__D> for BitSet<T> where
    T: Decodable<__D>, 
[src]

impl<T, __E: Encoder> Encodable<__E> for BitSet<T> where
    T: Encodable<__E>, 
[src]

impl<T: Eq> Eq for BitSet<T>[src]

impl<T: PartialEq> PartialEq<BitSet<T>> for BitSet<T>[src]

impl<T> StructuralEq for BitSet<T>[src]

impl<T> StructuralPartialEq for BitSet<T>[src]

impl<T: Idx> SubtractFromBitSet<T> for BitSet<T>[src]

impl<T: Idx> ToString for BitSet<T>[src]

impl<T: Idx> UnionIntoBitSet<T> for BitSet<T>[src]

Auto Trait Implementations

impl<T> RefUnwindSafe for BitSet<T> where
    T: RefUnwindSafe

impl<T> Send for BitSet<T> where
    T: Send

impl<T> Sync for BitSet<T> where
    T: Sync

impl<T> Unpin for BitSet<T> where
    T: Unpin

impl<T> UnwindSafe for BitSet<T> where
    T: UnwindSafe

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.