[−][src]Struct egg::Iteration
Data generated by running a Runner
one iteration.
If the serde-1
feature is enabled, this implements
serde::Serialize
, which is useful if you want to output
this as a JSON or some other format.
Fields (Non-exhaustive)
Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional
Struct { .. }
syntax; cannot be matched against without a wildcard ..
; and struct update syntax will not work.egraph_nodes: usize
The number of enodes in the egraph at the start of this iteration.
egraph_classes: usize
The number of eclasses in the egraph at the start of this iteration.
applied: IndexMap<String, usize>
A map from rule name to number of times it was newly applied in this iteration.
search_time: f64
Seconds spent searching in this iteration.
apply_time: f64
Seconds spent applying rules in this iteration.
rebuild_time: f64
Seconds spent rebuild
ing
the egraph in this iteration.
Trait Implementations
Auto Trait Implementations
impl RefUnwindSafe for Iteration
impl Send for Iteration
impl Sync for Iteration
impl Unpin for Iteration
impl UnwindSafe for Iteration
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>,