Struct ExactResult 

pub struct ExactResult {
    pub status: SolutionStatus,
    pub objective_value: f64,
    pub best_bound: f64,
    pub gap: f64,
    pub nodes_explored: u64,
    pub iterations: u64,
    pub is_optimal: bool,
    pub message: String,
}

Extended result information from exact solver.

Fields

status: SolutionStatus

Solution status.

objective_value: f64

Best objective value found (lower is better for minimization).

best_bound: f64

Best bound on optimal value (for optimality gap calculation).

gap: f64

Optimality gap: (objective - bound) / objective.

nodes_explored: u64

Number of branch-and-bound nodes explored.

iterations: u64

Number of simplex iterations.

is_optimal: bool

Whether the solution is proven optimal.

message: String

Solver-specific status message.

Implementations

impl ExactResult

pub fn new() -> Self

Create a new result with default values.

pub fn optimal(objective: f64) -> Self

Create a result indicating optimal solution.

pub fn feasible(objective: f64, bound: f64) -> Self

Create a result indicating feasible (but not proven optimal) solution.

pub fn infeasible() -> Self

Create a result indicating infeasibility.

pub fn timeout(best_objective: Option<f64>, best_bound: f64) -> Self

Create a result indicating timeout.

pub fn error(message: impl Into<String>) -> Self

Create a result indicating an error.

pub fn with_stats(self, nodes: u64, iterations: u64) -> Self

Set solver statistics.

Trait Implementations

impl Clone for ExactResult

fn clone(&self) -> ExactResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExactResult

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

Formats the value using the given formatter.

impl Default for ExactResult

fn default() -> ExactResult

Returns the “default value” for a type.