Struct Solution 

pub struct Solution {
    pub values: Vec<f64>,
    pub objective_value: Option<f64>,
    pub status: SolveStatus,
}

Represents the result of solving an optimization problem.

Contains the values assigned to each variable, the value of the objective function, and the solver status.

Examples

use cnvx_core::{Solution, SolveStatus, VarId};

// Example solution with 3 variables
let solution = Solution {
    values: vec![1.0, 2.0, 3.0],
    objective_value: Some(10.0),
    status: SolveStatus::Optimal,
};

assert_eq!(solution.value(VarId(0)), 1.0);
assert_eq!(solution.value(VarId(2)), 3.0);

Fields

values: Vec<f64>

Variable assignments, indexed by variable ID.

The value at index i corresponds to the variable with ID VarId(i).

objective_value: Option<f64>

The value of the objective function at the solution.

None if the solver did not produce an objective value (e.g., infeasible or unbounded problem).

status: SolveStatus

The solver status indicating whether the solution is optimal, feasible, infeasible, or unbounded.

Implementations

impl Solution

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

Returns the value assigned to the variable with the given VarId.

Example

let x1: VarId = model.add_var().finish();
let solution = Solution {
    values: vec![1.0], // Assuming x1 has ID 0
    objective_value: Some(10.0),
    status: SolveStatus::Optimal,
};
let value = solution.value(x1);

Trait Implementations

impl Debug for Solution

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

Formats the value using the given formatter.

impl Display for Solution

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

Formats the value using the given formatter.