Enum StopReason 

pub enum StopReason {
    Optimal,
    Feasible,
    Infeasible,
    NoFeasible,
    TimeBudgetExhausted,
    IterationBudgetExhausted,
    CandidateCapReached,
    UserRequested,
    SolverError,
    DataInsufficient,
    HumanDecisionRequired,
}

Why the solver stopped

Variants

Optimal

Proven optimal solution found

Feasible

Feasible solution found (may not be optimal)

Infeasible

Problem proven infeasible

NoFeasible

No feasible solution found (but not proven infeasible)

TimeBudgetExhausted

Time budget exhausted

IterationBudgetExhausted

Iteration budget exhausted

CandidateCapReached

Candidate cap reached

UserRequested

User requested stop

SolverError

Solver encountered error

DataInsufficient

Insufficient data to solve

HumanDecisionRequired

Human decision required (multiple close options)

Implementations

impl StopReason

pub fn is_success(&self) -> bool

Check if this represents a successful solve

pub fn is_failure(&self) -> bool

Check if this represents a failure to find a solution

pub fn is_budget_exhausted(&self) -> bool

Check if this represents a budget exhaustion

Trait Implementations

impl Clone for StopReason

fn clone(&self) -> StopReason

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StopReason

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for StopReason

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for StopReason

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

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for StopReason

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for StopReason

impl Eq for StopReason

impl StructuralPartialEq for StopReason