Struct HighsSolver 

pub struct HighsSolver { /* private fields */ }

HiGHS LP solver instance implementing SolverInterface.

Owns an opaque HiGHS handle and pre-allocated buffers for solution extraction, scratch i32 index conversion, and statistics accumulation.

Construct with HighsSolver::new. The handle is destroyed automatically when the instance is dropped.

Example

use cobre_solver::{HighsSolver, SolverInterface};

let solver = HighsSolver::new().expect("HiGHS initialisation failed");
assert_eq!(solver.name(), "HiGHS");

Implementations

impl HighsSolver

pub fn new() -> Result<Self, SolverError>

Creates a new HiGHS solver instance with performance-tuned defaults.

Calls cobre_highs_create() to allocate the HiGHS handle, then applies the eight default options defined in HiGHS Implementation SS4.1:

Option	Value	Type
solver	"simplex"	string
simplex_strategy	4	int
simplex_scale_strategy	2	int
presolve	"off"	string
parallel	"off"	string
output_flag	0	bool
primal_feasibility_tolerance	1e-7	double
dual_feasibility_tolerance	1e-7	double

Errors

Returns Err(SolverError::InternalError { .. }) if:

• cobre_highs_create() returns a null pointer.
• Any configuration call returns HIGHS_STATUS_ERROR.

In both failure cases the HiGHS handle is destroyed before returning to prevent a resource leak.

Trait Implementations

impl Drop for HighsSolver

fn drop(&mut self)

Executes the destructor for this type.

impl SolverInterface for HighsSolver

fn name(&self) -> &'static str

Returns a static string identifying the solver backend (e.g., "HiGHS").

fn load_model(&mut self, template: &StageTemplate)

Bulk-loads a pre-assembled structural LP (first step of rebuild sequence).

fn add_rows(&mut self, cuts: &RowBatch)

Appends constraint rows to the dynamic constraint region (step 2 of rebuild).

fn set_row_bounds(&mut self, indices: &[usize], lower: &[f64], upper: &[f64])

Updates row bounds (step 3 of rebuild; patching for scenario realization).

fn set_col_bounds(&mut self, indices: &[usize], lower: &[f64], upper: &[f64])

Updates column bounds (per-scenario variable bound patching).

fn solve(&mut self) -> Result<SolutionView<'_>, SolverError>

Solves the LP, returning a zero-copy view or terminal error after retry exhaustion.

fn reset(&mut self)

Clears internal solver state for error recovery or LP structure change.

fn get_basis(&mut self, out: &mut Basis)

Writes solver-native i32 status codes into a caller-owned Basis buffer.

fn solve_with_basis( &mut self, basis: &Basis, ) -> Result<SolutionView<'_>, SolverError>

Injects a basis and solves, returning a zero-copy SolutionView.

fn statistics(&self) -> SolverStatistics

Returns accumulated solve metrics (snapshot of monotonically increasing counters).

impl Send for HighsSolver