Struct WatchedRow 

pub struct WatchedRow {
    pub coefficients: Vec<(usize, f64)>,
    pub limit: f64,
    pub base_value: f64,
    pub active: Option<(usize, f64)>,
}

One watched limit: a sparse row Σ coef·x[col] ≤ limit, and the KKT row of its multiplier when the base system already enforces it.

Fields

coefficients: Vec<(usize, f64)>

The row’s nonzeros as (column, coefficient), in the x block’s index space.

limit: f64

The row’s right-hand side, which becomes the observer’s upper bound. A row written ≥ must be negated by the caller before it gets here; this type is one-sided on purpose, because a two-sided row is two watched rows and pretending otherwise hides which side a breakpoint belongs to.

base_value: f64

The value of Σ coef·x[col] at the base point.

active: Option<(usize, f64)>

Some((multiplier_row, base_multiplier)) when the base system carries this row in its active set, where multiplier_row is in the base index space. None for an inactive row, which the walk can then only reach and hold, never release.

Trait Implementations

impl Clone for WatchedRow

fn clone(&self) -> WatchedRow

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for WatchedRow

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

Formats the value using the given formatter.