Struct SolverResult 

pub struct SolverResult {
    pub status: SolverStatus,
    pub solutions: Vec<SolutionPoint>,
    pub dual: FxHashMap<ConstraintId, f64>,
    pub reduced_costs: FxHashMap<VarId, f64>,
    pub solve_time: Duration,
    pub iterations: u64,
    pub raw_log: Option<String>,
    pub solver_name: Option<Cow<'static, str>>,
}

A solver’s final result on a model.

Primal points are held in solutions (index 0 is the best/incumbent, empty when no solution was found). dual and reduced_costs apply to the best continuous point and are sparse maps, so a solver that does not return duals (e.g. MILP) can simply leave them empty.

Fields

status: SolverStatus

solutions: Vec<SolutionPoint>

dual: FxHashMap<ConstraintId, f64>

reduced_costs: FxHashMap<VarId, f64>

solve_time: Duration

iterations: u64

raw_log: Option<String>

solver_name: Option<Cow<'static, str>>

Implementations

impl SolverResult

pub fn result_count(&self) -> usize

The number of primal points the solver returned (0 when infeasible or unsolved).

pub fn solution(&self, i: usize) -> Option<&SolutionPoint>

The i-th primal point, where index 0 is the best/incumbent.

pub fn best(&self) -> Option<&SolutionPoint>

The best primal point, or None when no solution was found.

pub fn objective(&self) -> Option<f64>

The objective value of the best solution, or None when none was found.

pub fn primal(&self) -> Option<&FxHashMap<VarId, f64>>

The best solution’s primal map, or None when no solution was found.

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

Look up a primal value by VarId in the best solution.

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

Look up the best solution’s primal value for an Expr that points at a Var node. Returns None for any expression that is not a single variable.

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

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

Look up the best solution’s primal value for a specific index of an IndexedVar.

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

Iterate over the best solution’s primal values for all entries of an IndexedVar. Yields nothing when no solution was found.

pub fn report<'a>(&'a self, model: &'a Model) -> ModelReport<'a>

A human-readable, model-aware summary of this result.

It lists the solver, model kind and sense, status, objective and work counters, then every variable’s value (with its reduced cost when the solver returned duals) and every constraint’s dual.

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.