Struct HighsPersistent 

pub struct HighsPersistent { /* private fields */ }

Available on crate feature highs only.

A stateful HiGHS solver handle that keeps the built model resident across solves.

Created by Highs::persistent. When only objective coefficients or variable bounds changed since the last call it pushes those deltas and HiGHS warm-starts from the retained basis. Any structural change (new rows/columns, changed matrix coefficients or row bounds, flipped integrality or sense, or a quadratic objective) triggers a transparent full rebuild, so every result matches a cold Highs::solve.

Options passed to each solve are applied to the resident instance and persist across calls. Changing a field takes effect on the next solve, but a field you stop setting keeps its previous value rather than reverting to the HiGHS default. Call reset (or build a fresh handle) when you want the next solve to behave exactly like a cold Highs::solve, options and all.

A failed solve (HiGHS returning an error) leaves the handle without a resident model, the next call rebuilds from scratch.

Implementations

impl HighsPersistent

pub fn new() -> HighsPersistent

A fresh handle with no model loaded. The first solve builds it.

pub fn reset(&mut self)

Drop the resident model so the next solve rebuilds from scratch, clearing the warm-start basis and any solver options carried on the HiGHS instance. After this, the next solve behaves exactly like a cold Highs::solve, regardless of earlier calls.

Trait Implementations

impl Debug for HighsPersistent

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

Formats the value using the given formatter.

impl Default for HighsPersistent

fn default() -> HighsPersistent

Returns the “default value” for a type.

impl Solver for HighsPersistent

type Options = HighsOptions

Backend-specific options struct. Use () for solvers without any tunables.

fn name(&self) -> &str

fn supports(&self, kind: ModelKind) -> bool

fn solve( &mut self, model: &Model, opts: &HighsOptions, ) -> Result<SolverResult, SolverError>

Solves the given Model using this solver.

fn supports_sos(&self, _sos_type: SosType) -> bool

Whether this backend can consume native SOS constraints of sos_type.

fn supports_indicators(&self) -> bool

Whether this backend can consume native indicator constraints.

fn supports_model(&self, model: &Model) -> bool

Whether this backend can consume all features present in model.