Struct SquareComponent 

pub struct SquareComponent {
    pub eq_rows: Vec<usize>,
    pub cols: Vec<usize>,
}

One connected component of the square sub-graph.

Invariant

Every row in eq_rows must be matched to some column in cols under the bipartite matching that produced this component. Downstream code (notably crate::btf::BlockTriangularForm) relies on m.row_to_var[r] being Some for every r ∈ eq_rows. Construct only via SquareComponents::of_square_part, which preserves this invariant by filtering on DMPart::Square. Hand-constructing a SquareComponent with unmatched rows violates the invariant and causes BlockTriangularForm to panic.

Fields

eq_rows: Vec<usize>

Equality-row indices (positions in inc.eq_row_inner_idx). See struct-level invariant: must be matched.

cols: Vec<usize>

Variable indices. Same length as eq_rows.

Trait Implementations

impl Clone for SquareComponent

fn clone(&self) -> SquareComponent

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SquareComponent

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

Formats the value using the given formatter.

impl Default for SquareComponent

fn default() -> SquareComponent

Returns the “default value” for a type.