Struct PresolveMap 

pub struct PresolveMap {
    pub n_inner: usize,
    pub m_inner: usize,
    pub m_outer: usize,
    pub rows_kept: Vec<usize>,
    pub x_l: Vec<Number>,
    pub x_u: Vec<Number>,
    pub fixed_vars: Vec<usize>,
    pub fixed_values: Vec<Number>,
}

Everything needed to map an original-space warm point into reduced space without holding the wrapper borrowed.

Fields

n_inner: usize

Original variable count (unchanged by Phases 0–5).

m_inner: usize

Original constraint count.

m_outer: usize

Reduced constraint count (rows_kept.len()).

rows_kept: Vec<usize>

rows_kept[outer] = inner: kept-row index map.

x_l: Vec<Number>

Tightened variable lower bounds (reduced box).

x_u: Vec<Number>

Tightened variable upper bounds (reduced box).

fixed_vars: Vec<usize>

Aux-fixed variable indices (union over the reduction stack).

fixed_values: Vec<Number>

Their solved values, aligned with fixed_vars.

Implementations

impl PresolveMap

pub fn identity(n: usize, m: usize, x_l: Vec<Number>, x_u: Vec<Number>) -> Self

Identity map: presolve disabled or changed nothing observable.

pub fn is_identity(&self) -> bool

True for Self::identity-shaped maps with no fixed variables.

Trait Implementations

impl Clone for PresolveMap

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PresolveMap

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

Formats the value using the given formatter.

impl Default for PresolveMap

fn default() -> Self

Returns the “default value” for a type.