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)

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

NodeLimit(usize)

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

TimeLimit(f64)

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

Other(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.

impl Serialize for StopReason

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where
    __S: Serializer,

Serialize this value into the given Serde serializer.