[−][src]Enum egg::StopReason
Error returned by Runner
when it stops.
Variants
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]
fn clone(&self) -> StopReason
[src]
fn clone_from(&mut self, source: &Self)
1.0.0[src]
impl Debug for StopReason
[src]
Auto Trait Implementations
impl RefUnwindSafe for StopReason
impl Send for StopReason
impl Sync for StopReason
impl Unpin for StopReason
impl UnwindSafe for StopReason
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T
[src]
fn clone_into(&self, target: &mut T)
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,