Struct VarToFull 

pub struct VarToFull { /* private fields */ }

The var-x → full-x map, materialized once so a loop does not re-borrow the NLP per row.

Built with VarToFull::build at the point of use, from the NLP’s own var_x_to_full_x. Lookups are bounds-checked and return None rather than a neighbouring row’s index — the whole point of the exercise.

Implementations

impl VarToFull

pub fn build(n_var_x: usize, to_full: impl FnMut(VarX) -> usize) -> Self

Build the map by converting every var-x row, 0..n_var_x.

to_full is the one place a raw index is asserted to be in full-x. In the solver it is nlp.var_x_to_full_x; keeping it to a single call site per map is the whole protection this type offers, so do not add a second way to mint a FullX.

pub fn full_of(&self, row: VarX) -> Option<FullX>

The full-x index of a var-x row, or None if the row is outside the primal block.

pub fn n_var_x(&self) -> usize

Width of the primal block.

pub fn rows(&self) -> impl Iterator<Item = VarX> + '_

Every var-x row, in order — so a loop is typed from the start rather than by converting a bare usize at the first use.

Trait Implementations

impl Clone for VarToFull

fn clone(&self) -> VarToFull

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VarToFull

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

Formats the value using the given formatter.