Struct BoundRow 

pub struct BoundRow {
    pub row: usize,
    pub var_row: usize,
    pub lower: bool,
}

One bound-multiplier row of the compound KKT vector, resolved to the primal quantity it constrains.

Fields

row: usize

Row of the compound KKT vector holding the multiplier.

var_row: usize

Primal KKT row of the quantity that bound constrains: a row of the x block for a variable bound (z_l / z_u), and a row of the s block for a constraint’s limit (v_l / v_u), which bounds the slack rather than a variable.

The field is named for the case it had when only variable bounds were reported, and below dims[0] the two spaces coincide, so a var-x reader that never sees a slack row is still correct. That is not an accident to rely on quietly: a consumer that indexes a var-x-length vector with this must first check var_row < dims[0], because a slack row’s value is a valid index into nothing. Solver::weakly_active_bounds and step_along_path’s base-activity table both carry that check explicitly.

lower: bool

true for a lower bound (z_l / v_l), false for an upper (z_u / v_u). The primal row carries the two with opposite signs.

Trait Implementations

impl Clone for BoundRow

fn clone(&self) -> BoundRow

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for BoundRow

impl Debug for BoundRow

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

Formats the value using the given formatter.

impl Eq for BoundRow

impl PartialEq for BoundRow

fn eq(&self, other: &BoundRow) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for BoundRow