Enum Termination 

pub enum Termination {
    Cancelled,
    Converged,
    ExceededMaxIterations,
    Stagnated,
    NoProgress,
    Timeout,
}

Canonical reasons why a solver terminated.

This type is produced by the engine policy layer and recorded in the final engine output.

It is deliberately coarse-grained: it describes why execution stopped, not how the engine reached that decision.

Variants

Cancelled

Execution was cancelled externally (e.g. user request or cancellation token).

This is considered a non-analytic termination and does not imply failure of the solver logic.

Converged

The solver successfully met its convergence criteria.

This is the only variant considered a successful termination.

ExceededMaxIterations

The solver exceeded the maximum allowed number of iterations.

Typically enforced by MaxIterationPolicy.

Stagnated

The solver failed to make sufficient progress over a bounded window of iterations.

Typically triggered by stagnation or no-progress policies.

NoProgress

Timeout

The solver exceeded a wall-clock time limit.

Typically enforced by TimeoutPolicy.

Trait Implementations

impl Clone for Termination

fn clone(&self) -> Termination

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Termination

impl Debug for Termination

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

Formats the value using the given formatter.

impl Eq for Termination

impl PartialEq for Termination

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