Struct ModelResult 

pub struct ModelResult {
    pub status: SolveStatus,
    pub proof: SolutionProof,
    pub objective_value: f64,
    pub dual_solution: Option<Vec<f64>>,
    pub reduced_costs: Option<Vec<f64>>,
    pub slack: Option<Vec<f64>>,
    pub bound_duals: Vec<f64>,
    pub stats: SolveStats,
    /* private fields */
}

The result of a successful solve.

Fields

status: SolveStatus

Solver termination status associated with this returned solution.

Only success-domain variants occur here (Optimal, LocallyOptimal, NonconvexLocal, NonconvexGlobal, MaxIterations, SuboptimalSolution, Timeout); error variants surface as ModelError instead. Match on ModelResult::proof for the optimality guarantee.

proof: SolutionProof

Optimality proof quality for this returned solution.

objective_value: f64

Optimal objective value.

dual_solution: Option<Vec<f64>>

Dual solution (shadow prices), if available.

reduced_costs: Option<Vec<f64>>

Reduced costs, if available.

通常は c − A^T y。例外: presolve の bound-tightened-fixed 列が 元の 上下限に 着地した場合、reduced_costs[j] には bound dual (μ_lb / μ_ub) が暗黙吸収され、 raw c − A^T y ではなく at-lb で max(·, 0) / at-ub で min(·, 0) の clamp 値 となる (presolve/postsolve.rs::BoundAbsorb)。LP path で bound_duals は default 空のため μ を分離取得することはできない (QP path のみ populate)。

slack: Option<Vec<f64>>

Constraint slacks, if available.

bound_duals: Vec<f64>

Variable bound dual values (QP path). Layout: [lb_dual for each var with finite lb, ub_dual for each var with finite ub] Empty when not provided by the solver.

stats: SolveStats

Per-solve routing and warm-start statistics (race-free, per-result).

Implementations

impl ModelResult

pub fn value(&self, var: Variable) -> f64

Get the primal value of a variable.

Panics

Panics if the variable index is out of range. Use try_value to handle this case gracefully.

pub fn try_value(&self, var: Variable) -> Result<f64, ModelError>

Get the primal value of a variable, returning an error instead of panicking.

Returns Err if:

• var was created by a different model than the one that produced this result.
• var.index is out of range for the solution vector.

pub fn objective(&self) -> f64

Get the optimal objective value.

pub fn has_global_optimality_proof(&self) -> bool

Returns true when the solver proved global optimality for this result.

Trait Implementations

impl Clone for ModelResult

fn clone(&self) -> ModelResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ModelResult

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

Formats the value using the given formatter.

impl Index<Variable> for ModelResult

Index a ModelResult by Variable to get the primal solution value.

Example

println!("x = {}", result[x]);

type Output = f64

The returned type after indexing.

fn index(&self, var: Variable) -> &f64

Performs the indexing (container[index]) operation.