Enum LocyIncompleteReason 

pub enum LocyIncompleteReason {
    Timeout,
    IterationLimit,
}

Why a Locy evaluation stopped before reaching its least fixed point.

A wall-clock timeout and a non-convergence failure are both incomplete outcomes, but they call for different remedies (raise the timeout / fix a slow rule vs. raise max_iterations / fix a non-monotone rule), so they are reported distinctly rather than collapsed into one flag.

Variants

Timeout

The wall-clock timeout budget was exhausted mid-evaluation.

IterationLimit

A recursive stratum hit max_iterations without converging.

Implementations

impl LocyIncompleteReason

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

Returns a stable machine-readable tag ("timeout" / "iteration_limit").

Used as the discriminator surfaced to non-Rust callers (e.g. the Python bindings), where matching on a Rust enum is not available.

Trait Implementations

impl Clone for LocyIncompleteReason

fn clone(&self) -> LocyIncompleteReason

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for LocyIncompleteReason

impl Debug for LocyIncompleteReason

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

Formats the value using the given formatter.

impl Display for LocyIncompleteReason

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

Formats the value using the given formatter.

impl Eq for LocyIncompleteReason

impl PartialEq for LocyIncompleteReason

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