Enum RefineStop 

pub enum RefineStop {
    Settled,
    IterationLimit,
    DegreesOfFreedom,
    WorseThanPlain,
}

Why refine_step_onto_bounds stopped.

Only RefineStop::Settled says the refinement finished: the violation list emptied, which is the loop’s own termination condition. Every other value says the step returned is the last one a pass could achieve, and names what stopped it, so a caller can tell a limit it may raise from one it cannot.

Variants

Settled

Nothing is outside a bound and no bound multiplier is negative.

IterationLimit

max_iter passes were spent with the list still not empty. A safety limit rather than a budget: a pass now takes every violation it can see, so reaching this means the conditions kept moving and the answer is whatever the last pass reached.

DegreesOfFreedom

A pass could not be solved or could not be achieved: the conditions have exhausted the problem’s degrees of freedom, and no step holds them all. No budget helps.

WorseThanPlain

The refinement ended further outside the bounds than the step it started from, so the unrefined step was returned and no rows are reported as constrained.

Implementations

impl RefineStop

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

A stable short name, for a caller reporting this across a language boundary.

Trait Implementations

impl Clone for RefineStop

fn clone(&self) -> RefineStop

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for RefineStop

impl Debug for RefineStop

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

Formats the value using the given formatter.

impl Eq for RefineStop

impl PartialEq for RefineStop

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for RefineStop