Enum egg::StopReason [−][src]
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)
Tuple Fields
0: usize
The iteration limit was hit. The data is the iteration limit.
NodeLimit(usize)
Tuple Fields
0: usize
The enode limit was hit. The data is the enode limit.
TimeLimit(f64)
Tuple Fields
0: f64
The time limit was hit. The data is the time limit in seconds.
Other(String)
Tuple Fields
0: String
Some other reason to stop.
Trait Implementations
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
Mutably borrows from an owned value. Read more