Enum MpccStage 

pub enum MpccStage {
    Exact,
    Continuation,
    Penalty,
    Branch,
    Polish,
}

The stages, in the order the driver tries them.

Variants

Exact

Two solves from the model’s own start, each a candidate: a relaxed path (G·H <= EXACT_STAGE_TAU, one warm step to the continuation’s last τ, then its exact finish), and the exact product G·H = 0 solved cold (G·H <= 0 where the equality would leave the model with more equalities than variables).

Continuation

G·H <= τ for τ down SCHOLTES_SCHEDULE, each stage warm-started from the last, then one G·H = 0 solve from the end of it (G·H <= 0 where the equality would leave the model with more equalities than variables).

Penalty

G·H = 0 through the ℓ₁ exact-penalty barrier.

Branch

A branch NLP: each pair with one side held at zero, the other kept non-negative — run from a reported point that is not B-stationary, along the branch its B-stationarity check found a descent on (check_b_stationarity). Not in STAGES.

Polish

The polish: the reported point re-solved on the branch that holds each pair’s smaller side at zero, when its pairs are complementary only to more than POLISH_TRIGGER · tol (natural_residual). A branch NLP like Self::Branch, but a refinement of the answer rather than a move off it, so it is recorded apart. Not in STAGES.

Implementations

impl MpccStage

pub fn label(self) -> &'static str

Trait Implementations

impl Clone for MpccStage

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for MpccStage

impl Debug for MpccStage

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

Formats the value using the given formatter.

impl Eq for MpccStage

impl PartialEq for MpccStage

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for MpccStage