Struct ReducedFace 

pub struct ReducedFace {
    pub representatives: Vec<ConstraintRowId>,
    pub dependence: Vec<Vec<ConstraintRowDependence>>,
    pub tight_rows: Vec<ConstraintRowId>,
}

The result of reducing a tight active face to a minimal independent set — the shared output of the ConstraintSet reduced-face op (Dense arm = dense_reduced_face; KhatriRaoCone / BlockDiagonal arms produce the same shape). Determinism: representatives are the lowest-flat-index row per independent direction, ascending, with no float tie-break.

INDEX SPACE: every id here is a ConstraintRowId in the reduced set’s own constraint-row space (0..nrows()), addressing values() / bound() / row_norm(). It is NOT a coefficient index; to reach β coordinates go through gam_problem::ConstraintSet::row_column_support.

Fields

representatives: Vec<ConstraintRowId>

Kept independent rows — the lowest-flat-index representative per direction, ascending. Flat id space is 0..nrows (Dense) / slot*n + obs (cone) / the concatenation of the member row spaces (block-diagonal).

dependence: Vec<Vec<ConstraintRowDependence>>

Per-representative parallel-dependent map, index-aligned with representatives. dependence[i] lists the exactly-parallel dependents of representatives[i] (empty when it has none); general-position dependents are absent (dropped, re-enter on the next feasibility scan).

tight_rows: Vec<ConstraintRowId>

The full tight set that was reduced, ascending flat ids.

Trait Implementations

impl Clone for ReducedFace

fn clone(&self) -> ReducedFace

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ReducedFace

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

Formats the value using the given formatter.