[][src]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[src]

impl Debug for StopReason[src]

Auto Trait Implementations

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.