Struct UnitDerivationMatrix 

pub struct UnitDerivationMatrix(/* private fields */);

Methods from Deref<Target = SymbolBitMatrix>

pub fn iter_row_syms(&self, row: Symbol) -> impl Iterator<Item = Symbol> + '_

Methods from Deref<Target = BitMatrix>

pub fn size(&self) -> (usize, usize)

Returns the matrix’s size as (rows, columns).

pub fn set(&mut self, row: usize, col: usize, enabled: bool)

Sets the value of a bit.

Panics

Panics if (row, col) is out of bounds.

pub fn set_all(&mut self, enabled: bool)

Sets the value of all bits.

pub fn grow(&mut self, num_rows: usize, value: bool)

Grows the matrix in-place, adding num_rows rows filled with value.

pub fn truncate(&mut self, num_rows: usize)

Truncates the matrix.

pub fn sub_matrix<R>(&self, range: R) -> BitSubMatrix<'_>

where R: RangeBounds<usize>,

Returns a slice of the matrix’s rows.

pub fn split_at(&self, row: usize) -> (BitSubMatrix<'_>, BitSubMatrix<'_>)

Given a row’s index, returns a slice of all rows above that row, a reference to said row, and a slice of all rows below.

Functionally equivalent to (self.sub_matrix(0..row), &self[row], self.sub_matrix(row..self.num_rows())).

pub fn split_at_mut( &mut self, row: usize, ) -> (BitSubMatrixMut<'_>, BitSubMatrixMut<'_>)

Given a row’s index, returns a slice of all rows above that row, a reference to said row, and a slice of all rows below.

pub fn iter_row(&self, row: usize) -> Iter<'_>

Iterate over bits in the specified row.

pub fn transitive_closure(&mut self)

Computes the transitive closure of the binary relation represented by the matrix.

Uses the Warshall’s algorithm.

pub fn reflexive_closure(&mut self)

Computes the reflexive closure of the binary relation represented by the matrix.

Trait Implementations

impl Deref for UnitDerivationMatrix

type Target = SymbolBitMatrix

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl DerefMut for UnitDerivationMatrix

fn deref_mut(&mut self) -> &mut Self::Target

Mutably dereferences the value.

impl From<UnitDerivationMatrix> for SymbolBitMatrix

fn from(value: UnitDerivationMatrix) -> Self

Converts to this type from the input type.