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
sourceimpl Debug for StopReason
impl Debug for StopReason
sourceimpl Serialize for StopReason
impl Serialize for StopReason
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 · sourcepub fn borrow_mut(&mut self) -> &mut T
pub 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.
sourcepub fn to_owned(&self) -> T
pub fn to_owned(&self) -> T
Creates owned data from borrowed data, usually by cloning. Read more
sourcepub fn clone_into(&self, target: &mut T)
pub 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