Enum egg::SimpleRunnerError

pub enum SimpleRunnerError {
    Saturated,
    IterationLimit(usize),
    NodeLimit(usize),
}

Error returned by SimpleRunner 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)

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

NodeLimit(usize)

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

Trait Implementations

impl Clone for SimpleRunnerError

fn clone(&self) -> SimpleRunnerError

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SimpleRunnerError

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

Formats the value using the given formatter.