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§
source§impl Clone for StopReason
impl Clone for StopReason
source§fn clone(&self) -> StopReason
fn clone(&self) -> StopReason
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for StopReason
impl Debug 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§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more