Enum PrimalStatus 

pub enum PrimalStatus {
    NoSolution,
    FeasiblePoint,
    OptimalPoint,
}

The status of the primal point held in a crate::SolverResult.

Decoupled from TerminationStatus so a result that stopped at a limit can still carry a usable incumbent.

Variants

NoSolution

No primal point is available.

FeasiblePoint

A feasible point is available, but not proven optimal.

OptimalPoint

A proven-optimal point is available.

Implementations

impl PrimalStatus

pub fn infer(termination: &TerminationStatus, has_point: bool) -> Self

Classify the primal status from the termination reason and whether a point was actually returned. Optimal termination with a point yields PrimalStatus::OptimalPoint; any other termination with a point yields PrimalStatus::FeasiblePoint; no point yields PrimalStatus::NoSolution.

pub fn has_solution(self) -> bool

Whether a usable primal point is available.

Trait Implementations

impl Clone for PrimalStatus

fn clone(&self) -> PrimalStatus

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for PrimalStatus

impl Debug for PrimalStatus

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

Formats the value using the given formatter.

impl Eq for PrimalStatus

impl PartialEq for PrimalStatus

fn eq(&self, other: &PrimalStatus) -> 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 StructuralPartialEq for PrimalStatus