Struct rustc_data_structures::bitvec::SparseBitMatrix [−][src]
A moderately sparse bit matrix, in which rows are instantiated lazily.
Initially, every row has no explicit representation. If any bit within a
row is set, the entire row is instantiated as
Some(<full-column-width-BitArray>)
. 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.
Methods
impl<R: Idx, C: Idx> SparseBitMatrix<R, C>
[src]
impl<R: Idx, C: Idx> SparseBitMatrix<R, C>
pub fn new(num_columns: usize) -> Self
[src]
pub fn new(num_columns: usize) -> Self
Create a new empty sparse bit matrix with no rows or columns.
pub fn add(&mut self, row: R, column: C) -> bool
[src]
pub fn add(&mut self, row: R, column: C) -> bool
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, and false otherwise.
pub fn contains(&self, row: R, column: C) -> bool
[src]
pub fn contains(&self, row: R, column: C) -> bool
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 merge(&mut self, read: R, write: R) -> bool
[src]
pub fn merge(&mut self, read: R, write: R) -> bool
Add the bits from row read
to the bits from row write
,
return 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 merge_into(&mut self, into: R, from: &BitArray<C>) -> bool
[src]
pub fn merge_into(&mut self, into: R, from: &BitArray<C>) -> bool
Merge a row, from
, into the into
row.
pub fn add_all(&mut self, row: R)
[src]
pub fn add_all(&mut self, row: R)
Add all bits to the given row.
pub fn rows(
&self
) -> impl Iterator<Item = R>
[src]
pub fn rows(
&self
) -> impl Iterator<Item = R>
pub fn iter<'a>(
&'a self,
row: R
) -> impl Iterator<Item = C> + 'a
[src]
pub fn iter<'a>(
&'a self,
row: R
) -> impl Iterator<Item = C> + 'a
Iterates through all the columns set to true in a given row of the matrix.
pub fn row(&self, row: R) -> Option<&BitArray<C>>
[src]
pub fn row(&self, row: R) -> Option<&BitArray<C>>
Trait Implementations
impl<R: Clone, C: Clone> Clone for SparseBitMatrix<R, C> where
R: Idx,
C: Idx,
[src]
impl<R: Clone, C: Clone> Clone for SparseBitMatrix<R, C> where
R: Idx,
C: Idx,
fn clone(&self) -> SparseBitMatrix<R, C>
[src]
fn clone(&self) -> SparseBitMatrix<R, C>
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source
. Read more
impl<R: Debug, C: Debug> Debug 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,
Auto Trait Implementations
impl<R, C> Send for SparseBitMatrix<R, C> where
C: Send,
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> Sync for SparseBitMatrix<R, C> where
C: Sync,