Struct ModelMaps 

pub struct ModelMaps {
    pub n_full_x: usize,
    pub var_x_to_full_x: Vec<usize>,
    pub full_g_to_c: Vec<Option<usize>>,
    pub full_g_to_d: Vec<Option<usize>>,
}

How an engine’s variables and rows correspond to the model’s.

An engine may drop variables whose bounds coincide, and it splits the model’s rows into equality rows, the y_c block, and inequality rows, the s and y_d blocks, so neither numbering is the model’s. Every result a caller reads in the model’s indices goes through these maps.

Fields

n_full_x: usize

The number of variables the model declares, counting any the engine removed because their bounds coincide.

var_x_to_full_x: Vec<usize>

The model’s index of each variable the engine kept.

full_g_to_c: Vec<Option<usize>>

For each of the model’s rows, its position among the equality rows, or None for an inequality row.

full_g_to_d: Vec<Option<usize>>

For each of the model’s rows, its position among the inequality rows, or None for an equality row.

Implementations

impl ModelMaps

pub fn n_full_g(&self) -> usize

The number of rows the model declares.

pub fn full_x_to_var_x(&self) -> Vec<Option<usize>>

The engine’s index of each of the model’s variables, None for one the engine removed.

pub fn check(&self, dims: &[usize; 8]) -> Result<(), String>

Checks the maps against the engine’s block lengths: one model variable per engine variable, each named once, and each model row in exactly one of the two row blocks, filling each block once.

Trait Implementations

impl Clone for ModelMaps

fn clone(&self) -> ModelMaps

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ModelMaps

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

Formats the value using the given formatter.

impl PartialEq for ModelMaps

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ModelMaps