Enum highs::HighsModelStatus

pub enum HighsModelStatus {
    NotSet,
    LoadError,
    ModelError,
    PresolveError,
    SolveError,
    PostsolveError,
    ModelEmpty,
    PrimalInfeasible,
    PrimalUnbounded,
    Optimal,
    ReachedDualObjectiveValueUpperBound,
    ReachedTimeLimit,
    ReachedIterationLimit,
    PrimalDualInfeasible,
    DualInfeasible,
}

The kinds of results of an optimization

Variants

NotSet

not initialized

LoadError

Unable to load model

ModelError

invalid model

PresolveError

Unable to run the pre-solve phase

SolveError

Unable to solve

PostsolveError

Unable to clean after solve

ModelEmpty

No variables in the model: nothing to optimize

use highs::*;
let solved = ColProblem::new().optimise(Sense::Maximise).solve();
assert_eq!(solved.status(), HighsModelStatus::ModelEmpty);

PrimalInfeasible

There is no solution to the problem

PrimalUnbounded

The problem is unbounded: there is no single optimal value

Optimal

An optimal solution was found

ReachedDualObjectiveValueUpperBound

reached limit

ReachedTimeLimit

reached limit

ReachedIterationLimit

reached limit

PrimalDualInfeasible

cannot solve dual

DualInfeasible

cannot solve dual

Trait Implementations

impl Clone for HighsModelStatus

fn clone(&self) -> HighsModelStatus

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for HighsModelStatus

impl Debug for HighsModelStatus

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

Formats the value using the given formatter.

impl Eq for HighsModelStatus

impl Ord for HighsModelStatus

fn cmp(&self, other: &HighsModelStatus) -> Ordering

This method returns an Ordering between self and other.

#[must_use]pub fn max(self, other: Self) -> Self

Compares and returns the maximum of two values.

#[must_use]pub fn min(self, other: Self) -> Self

Compares and returns the minimum of two values.

#[must_use]pub fn clamp(self, min: Self, max: Self) -> Self

Restrict a value to a certain interval.

impl PartialEq<HighsModelStatus> for HighsModelStatus

fn eq(&self, other: &HighsModelStatus) -> bool

This method tests for self and other values to be equal, and is used by ==.

#[must_use]pub fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl PartialOrd<HighsModelStatus> for HighsModelStatus

fn partial_cmp(&self, other: &HighsModelStatus) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

#[must_use]pub fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator.

#[must_use]pub fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

#[must_use]pub fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator.

#[must_use]pub fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl StructuralEq for HighsModelStatus

impl StructuralPartialEq for HighsModelStatus

impl TryFrom<i32> for HighsModelStatus

type Error = InvalidStatus

The type returned in the event of a conversion error.

fn try_from(value: c_int) -> Result<Self, Self::Error>

Performs the conversion.