Struct rustc_ap_rustc_index::bit_set::BitMatrix [−][src]
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
impl<R: Idx, C: Idx> BitMatrix<R, C>
[src]
impl<R: Idx, C: Idx> BitMatrix<R, C>
[src]pub fn new(num_rows: usize, num_columns: usize) -> BitMatrix<R, C>
[src]
pub fn new(num_rows: usize, num_columns: usize) -> BitMatrix<R, C>
[src]Creates a new rows x columns
matrix, initially empty.
pub fn from_row_n(row: &BitSet<C>, num_rows: usize) -> BitMatrix<R, C>
[src]
pub fn from_row_n(row: &BitSet<C>, num_rows: usize) -> BitMatrix<R, C>
[src]Creates a new matrix, with row
used as the value for every row.
pub fn rows(&self) -> impl Iterator<Item = R>
[src]
pub fn insert(&mut self, row: R, column: C) -> bool
[src]
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]
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 intersect_rows(&self, row1: R, row2: R) -> Vec<C>
[src]
pub fn intersect_rows(&self, row1: R, row2: R) -> Vec<C>
[src]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).
pub fn union_rows(&mut self, read: R, write: R) -> bool
[src]
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_row_with(&mut self, with: &BitSet<C>, write: R) -> bool
[src]
pub fn union_row_with(&mut self, with: &BitSet<C>, write: R) -> bool
[src]Adds the bits from with
to the bits from row write
, and
returns true
if anything changed.
pub fn insert_all_into_row(&mut self, row: R)
[src]
pub fn insert_all_into_row(&mut self, row: R)
[src]Sets every cell in row
to true.
Trait Implementations
impl<R: Idx, C: Idx, __D: Decoder> Decodable<__D> for BitMatrix<R, C> where
R: Decodable<__D>,
C: Decodable<__D>,
[src]
impl<R: Idx, C: Idx, __D: Decoder> Decodable<__D> for BitMatrix<R, C> where
R: Decodable<__D>,
C: Decodable<__D>,
[src]impl<R: Idx, C: Idx, __E: Encoder> Encodable<__E> for BitMatrix<R, C> where
R: Encodable<__E>,
C: Encodable<__E>,
[src]
impl<R: Idx, C: Idx, __E: Encoder> Encodable<__E> for BitMatrix<R, C> where
R: Encodable<__E>,
C: Encodable<__E>,
[src]impl<R: Eq + Idx, C: Eq + Idx> Eq for BitMatrix<R, C>
[src]
impl<R: Idx, C: Idx> StructuralEq for BitMatrix<R, C>
[src]
impl<R: Idx, C: Idx> StructuralPartialEq for BitMatrix<R, C>
[src]
Auto Trait Implementations
impl<R, C> RefUnwindSafe for BitMatrix<R, C> where
C: RefUnwindSafe,
R: RefUnwindSafe,
C: RefUnwindSafe,
R: RefUnwindSafe,
impl<R, C> Send for BitMatrix<R, C> where
C: Send,
R: Send,
C: Send,
R: Send,
impl<R, C> Sync for BitMatrix<R, C> where
C: Sync,
R: Sync,
C: Sync,
R: Sync,
impl<R, C> Unpin for BitMatrix<R, C> where
C: Unpin,
R: Unpin,
C: Unpin,
R: Unpin,
impl<R, C> UnwindSafe for BitMatrix<R, C> where
C: UnwindSafe,
R: UnwindSafe,
C: UnwindSafe,
R: UnwindSafe,
Blanket Implementations
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]pub fn borrow_mut(&mut self) -> &mut T
[src]
pub fn borrow_mut(&mut self) -> &mut T
[src]Mutably borrows from an owned value. Read more
impl<Q, K> Equivalent<K> for Q where
K: Borrow<Q> + ?Sized,
Q: Eq + ?Sized,
[src]
impl<Q, K> Equivalent<K> for Q where
K: Borrow<Q> + ?Sized,
Q: Eq + ?Sized,
[src]pub fn equivalent(&self, key: &K) -> bool
[src]
pub fn equivalent(&self, key: &K) -> bool
[src]Compare self to key
and return true
if they are equal.
impl<T> ToOwned for T where
T: Clone,
[src]
impl<T> ToOwned for T where
T: Clone,
[src]type Owned = T
type Owned = T
The resulting type after obtaining ownership.
pub fn to_owned(&self) -> T
[src]
pub fn to_owned(&self) -> T
[src]Creates owned data from borrowed data, usually by cloning. Read more
pub fn clone_into(&self, target: &mut T)
[src]
pub fn clone_into(&self, target: &mut T)
[src]🔬 This is a nightly-only experimental API. (toowned_clone_into
)
recently added
Uses borrowed data to replace owned data, usually by cloning. Read more