Enum egg::StopReason
source · [−]pub enum StopReason {
Saturated,
IterationLimit(usize),
NodeLimit(usize),
TimeLimit(f64),
Other(String),
}
Expand description
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
sourceimpl Clone for StopReason
impl Clone for StopReason
sourcefn clone(&self) -> StopReason
fn clone(&self) -> StopReason
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source
. Read more
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
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<T> ToOwned for T where
T: Clone,
impl<T> ToOwned for T where
T: Clone,
type Owned = T
type Owned = T
The resulting type after obtaining ownership.
sourcefn clone_into(&self, target: &mut T)
fn clone_into(&self, target: &mut T)
🔬 This is a nightly-only experimental API. (
toowned_clone_into
)Uses borrowed data to replace owned data, usually by cloning. Read more