pub struct BitMatrix<R: Idx, C: Idx> { /* private fields */ }
Expand description
A fixed-size 2D bit matrix type with a dense representation.
R
and C
are index types used to identify rows and columns respectively;
typically newtyped usize
wrappers, but they can also just be usize
.
All operations that involve a row and/or column index will panic if the index exceeds the relevant bound.
Implementations§
Source§impl<R: Idx, C: Idx> BitMatrix<R, C>
impl<R: Idx, C: Idx> BitMatrix<R, C>
Sourcepub fn new(num_rows: usize, num_columns: usize) -> BitMatrix<R, C>
pub fn new(num_rows: usize, num_columns: usize) -> BitMatrix<R, C>
Creates a new rows x columns
matrix, initially empty.
Sourcepub fn from_row_n(row: &DenseBitSet<C>, num_rows: usize) -> BitMatrix<R, C>
pub fn from_row_n(row: &DenseBitSet<C>, num_rows: usize) -> BitMatrix<R, C>
Creates a new matrix, with row
used as the value for every row.
pub fn rows(&self) -> impl Iterator<Item = R>
Sourcepub fn insert(&mut self, row: R, column: C) -> bool
pub fn insert(&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.
Sourcepub fn contains(&self, row: R, column: C) -> bool
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
?
Sourcepub fn intersect_rows(&self, row1: R, row2: R) -> Vec<C>
pub fn intersect_rows(&self, row1: R, row2: R) -> Vec<C>
Returns those indices that are true in rows a
and b
. This
is an O(n) operation where n is the number of elements
(somewhat independent from the actual size of the
intersection, in particular).
Sourcepub fn union_rows(&mut self, read: R, write: R) -> bool
pub fn union_rows(&mut self, read: R, write: R) -> bool
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).
Sourcepub fn union_row_with(&mut self, with: &DenseBitSet<C>, write: R) -> bool
pub fn union_row_with(&mut self, with: &DenseBitSet<C>, write: R) -> bool
Adds the bits from with
to the bits from row write
, and
returns true
if anything changed.
Sourcepub fn insert_all_into_row(&mut self, row: R)
pub fn insert_all_into_row(&mut self, row: R)
Sets every cell in row
to true.