[][src]Struct rustc_ap_rustc_index::bit_set::SparseBitMatrix

pub struct SparseBitMatrix<R, C> where
    R: Idx,
    C: Idx
{ /* fields omitted */ }

A fixed-column-size, variable-row-size 2D bit matrix with a moderately sparse representation.

Initially, every row has no explicit representation. If any bit within a row is set, the entire row is instantiated as Some(<HybridBitSet>). Furthermore, any previously uninstantiated rows prior to it will be instantiated as None. Those prior rows may themselves become fully instantiated later on if any of their bits are set.

R and C are index types used to identify rows and columns respectively; typically newtyped usize wrappers, but they can also just be usize.

Implementations

impl<R: Idx, C: Idx> SparseBitMatrix<R, C>[src]

pub fn new(num_columns: usize) -> Self[src]

Creates a new empty sparse bit matrix with no rows or columns.

pub fn insert(&mut self, row: R, column: C) -> bool[src]

Sets the cell at (row, column) to true. Put another way, insert column to the bitset for row.

Returns true if this changed the matrix.

pub fn contains(&self, row: R, column: C) -> bool[src]

Do the bits from row contain column? Put another way, is the matrix cell at (row, column) true? Put yet another way, if the matrix represents (transitive) reachability, can row reach column?

pub fn union_rows(&mut self, read: R, write: R) -> bool[src]

Adds the bits from row read to the bits from row write, and returns true if anything changed.

This is used when computing transitive reachability because if you have an edge write -> read, because in that case write can reach everything that read can (and potentially more).

pub fn union_into_row(&mut self, into: R, from: &HybridBitSet<C>) -> bool[src]

Union a row, from, into the into row.

pub fn insert_all_into_row(&mut self, row: R)[src]

Insert all bits in the given row.

pub fn rows(&self) -> impl Iterator<Item = R>[src]

pub fn iter<'a>(&'a self, row: R) -> impl Iterator<Item = C> + 'a[src]

Iterates through all the columns set to true in a given row of the matrix.

pub fn row(&self, row: R) -> Option<&HybridBitSet<C>>[src]

Trait Implementations

impl<R: Clone, C: Clone> Clone for SparseBitMatrix<R, C> where
    R: Idx,
    C: Idx
[src]

impl<R: Debug, C: Debug> Debug for SparseBitMatrix<R, C> where
    R: Idx,
    C: Idx
[src]

Auto Trait Implementations

impl<R, C> RefUnwindSafe for SparseBitMatrix<R, C> where
    C: RefUnwindSafe

impl<R, C> Send for SparseBitMatrix<R, C> where
    C: Send

impl<R, C> Sync for SparseBitMatrix<R, C> where
    C: Sync

impl<R, C> Unpin for SparseBitMatrix<R, C> where
    C: Unpin

impl<R, C> UnwindSafe for SparseBitMatrix<R, C> where
    C: 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.