Type Alias LiveLoans

pub(crate) type LiveLoans = SparseBitMatrix<PointIndex, BorrowIndex>;

Aliased Type

struct LiveLoans { /* private fields */ }

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 32 bytes

Implementations

impl<R, C> SparseBitMatrix<R, C>

where R: Idx, C: Idx,

pub fn new(num_columns: usize) -> SparseBitMatrix<R, C>

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

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.

pub fn remove(&mut self, row: R, column: C) -> bool

Sets the cell at (row, column) to false. Put another way, delete column from the bitset for row. Has no effect if row does not exist.

Returns true if this changed the matrix.

pub fn clear(&mut self, row: R)

Sets all columns at row to false. Has no effect if row does not exist.

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 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).

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

Insert all bits in the given row.

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

pub fn iter(&self, row: R) -> impl Iterator<Item = C>

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

pub fn row(&self, row: R) -> Option<&DenseBitSet<C>>

pub fn intersect_row<Set>(&mut self, row: R, set: &Set) -> bool

where DenseBitSet<C>: BitRelations<Set>,

Intersects row with set. set can be either DenseBitSet or ChunkedBitSet. Has no effect if row does not exist.

Returns true if the row was changed.

pub fn subtract_row<Set>(&mut self, row: R, set: &Set) -> bool

where DenseBitSet<C>: BitRelations<Set>,

Subtracts set from row. set can be either DenseBitSet or ChunkedBitSet. Has no effect if row does not exist.

Returns true if the row was changed.

pub fn union_row<Set>(&mut self, row: R, set: &Set) -> bool

where DenseBitSet<C>: BitRelations<Set>,

Unions row with set. set can be either DenseBitSet or ChunkedBitSet.

Returns true if the row was changed.

Trait Implementations

impl<R, C> Clone for SparseBitMatrix<R, C>

where R: Clone + Idx, C: Clone + Idx,

fn clone(&self) -> SparseBitMatrix<R, C>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<R, C> Debug for SparseBitMatrix<R, C>

where R: Debug + Idx, C: Debug + Idx,

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.