Struct SolverResult 

pub struct SolverResult {
    pub status: SolverStatus,
    pub objective: Option<f64>,
    pub primal: FxHashMap<VarId, f64>,
    pub dual: FxHashMap<ConstraintId, f64>,
    pub reduced_costs: FxHashMap<VarId, f64>,
    pub solve_time: Duration,
    pub iterations: u64,
    pub raw_log: Option<String>,
}

A solver’s final result on a model. primal and dual are sparse maps so a solver that does not return duals (e.g. MILP) can simply leave them empty.

Fields

status: SolverStatus

objective: Option<f64>

primal: FxHashMap<VarId, f64>

dual: FxHashMap<ConstraintId, f64>

reduced_costs: FxHashMap<VarId, f64>

solve_time: Duration

iterations: u64

raw_log: Option<String>

Implementations

impl SolverResult

pub fn value(&self, id: VarId) -> Option<f64>

Look up a primal value by VarId.

pub fn value_of(&self, expr: Expr<'_>) -> Option<f64>

Look up the primal value for an Expr that points at a Var node. Returns None for any expression that is not a single variable, so callers that need the value of a derived expression should evaluate it against the primal solution explicitly.

pub fn dual_of(&self, c: ConstraintId) -> Option<f64>

pub fn value_of_idx<K: Into<IndexKey>>( &self, var: &IndexedVar<'_>, key: K, ) -> Option<f64>

Look up the primal value for a specific index of an IndexedVar.

Returns None if key is not in the variable’s set or the solver did not return a primal value for that scalar.

pub fn values_of<'iv, 'a>( &'iv self, var: &'iv IndexedVar<'a>, ) -> impl Iterator<Item = (&'iv IndexKey, f64)> + 'iv

Iterate over primal values for all entries of an IndexedVar.

Yields (&IndexKey, f64) for every index whose primal value is present in the solution. To keep only nonzero values (common for sparse solutions) chain .filter(|(_, v)| *v != 0.0).

Trait Implementations

impl Clone for SolverResult

fn clone(&self) -> SolverResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SolverResult

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

Formats the value using the given formatter.

impl Default for SolverResult

fn default() -> Self

Returns the “default value” for a type.