Struct Timestamp

pub struct Timestamp { /* private fields */ }

Implementations

impl Timestamp

pub fn new(start: Instant) -> Self

Trait Implementations

impl Default for Timestamp

fn default() -> Self

Returns the “default value” for a type.

impl<L, N> Recorder<L, N> for Timestamp

where L: Language, N: Analysis<L>,

fn identifier(&self) -> Cow<'static, str>

fn record_before_rewrite( &self, iteration: usize, egraph: &mut EGraph<L, N>, rewrite: &Rewrite<L, N>, matches: &[SearchMatches<'_, L>], ) -> Option<String>

fn record_before_search<'r>( &self, iteration: usize, egraph: &'r EGraph<L, N>, rewrite: &'r Rewrite<L, N>, ) -> Option<String>

fn record_after_search<'r>( &self, iteration: usize, egraph: &'r EGraph<L, N>, rewrite: &'r Rewrite<L, N>, matches: &[SearchMatches<'_, L>], ) -> Option<String>

fn record_after_rewrite( &self, iteration: usize, egraph: &mut EGraph<L, N>, rewrite: &Rewrite<L, N>, n_matches: usize, ) -> Option<String>