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 thirteen default options defined in HiGHS Implementation SS4.1:

Option	Value	Type
solver	"simplex"	string
simplex_strategy	1	int
simplex_scale_strategy	0	int
presolve	"on"	string
parallel	"off"	string
output_flag	0	bool
primal_feasibility_tolerance	1e-9	double
dual_feasibility_tolerance	1e-9	double
simplex_dual_edge_weight_strategy	1	int
dual_simplex_cost_perturbation_multiplier	0.0	double
simplex_initial_condition_check	0	bool
simplex_price_strategy	1	int
rebuild_refactor_solution_error_tolerance	1e-6	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.

fn pin_drop(self: Pin<&mut Self>)

🔬This is a nightly-only experimental API. (pin_ergonomics)

Execute the destructor for this type, but different to Drop::drop, it requires self to be pinned.

impl Send for HighsSolver

impl SolverInterface for HighsSolver

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

Preconditions

When basis is Some(b), the caller should size b.row_status to at least self.num_rows (the current LP row count). A basis with fewer row entries than the LP (e.g. one captured before add_rows grew the LP) cannot be padded soundly — a BASIC pad is wrong for inequality-row slacks — so it is rejected with Err(SolverError::BasisRowCountMismatch) and basis_consistency_failures is incremented; the caller should fall back to a cold solve. A basis with more row entries is tolerated: the trailing entries beyond self.num_rows are ignored. The column count must match exactly (hard assert!).

Errors

Returns Err(SolverError::BasisRowCountMismatch { lp_rows, basis_rows }) when the offered basis has fewer row entries than the LP has rows, and Err(SolverError::BasisInconsistent { .. }) when HiGHS rejects the offered basis via isBasisConsistent.

type Profile = HighsProfile

The solver-specific profile type.

fn apply_profile(&mut self, profile: &HighsProfile)

Apply all profile options to the underlying solver.

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

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

fn solver_name_version(&self) -> String

Returns the solver name and version as a human-readable string.

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

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

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

Append constraint rows to the dynamic constraint region.

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 get_basis(&mut self, out: &mut Basis)

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

fn statistics(&self) -> SolverStatistics

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

fn statistics_into(&self, out: &mut SolverStatistics)

Copy accumulated solve metrics into a caller-owned buffer, reusing its retry_level_histogram allocation.

fn record_reconstruction_stats(&mut self)

Record that reconstruct_basis applied a stored basis via slot reconciliation. Default implementation is a no-op; HighsSolver overrides to increment SolverStatistics::basis_reconstructions by 1. A non-zero count indicates basis reconstruction is active on this solver instance.

fn reset_solver_state(&mut self)

Reset the solver’s internal working state to a clean baseline between independent solve sequences (e.g. at simulation/forward scenario boundaries), discarding any simplex state — factorization and, crucially, the pricing/edge-weight reference frame — carried over from prior solves.