Enum egg::StopReason

pub enum StopReason {
    Saturated,
    IterationLimit(usize),
    NodeLimit(usize),
    TimeLimit(f64),
    Other(String),
}

Error returned by Runner when it stops.

Variants

Saturated

The egraph saturated, i.e., there was an iteration where we didn’t learn anything new from applying the rules.

IterationLimit(usize)

Tuple Fields

0: usize

The iteration limit was hit. The data is the iteration limit.

NodeLimit(usize)

Tuple Fields

0: usize

The enode limit was hit. The data is the enode limit.

TimeLimit(f64)

Tuple Fields

0: f64

The time limit was hit. The data is the time limit in seconds.

Other(String)

Tuple Fields

0: String

Some other reason to stop.

Trait Implementations

impl Clone for StopReason

fn clone(&self) -> StopReason

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for StopReason

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

Formats the value using the given formatter.