Struct LoggingScheduler

pub struct LoggingScheduler<'a, S, L, N> { /* private fields */ }

Implementations

impl<'a, S, L, N> LoggingScheduler<'a, S, L, N>

pub fn new(scheduler: S) -> Self

pub fn with_identifier(self, id: impl ToString) -> Self

pub fn with_out_file<W: Write + 'a>(self, out_file: W) -> Self

pub fn with_logging_enabled(self, enabled: bool) -> Self

pub fn with_recorder<D: Recorder<L, N> + 'a>(self, datum: D) -> Self

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

pub fn identifier(&mut self, id: impl ToString) -> &mut Self

pub fn out_file(&mut self, out_file: impl Write + 'a) -> &mut Self

pub fn logging_enabled(&mut self, enabled: bool) -> &mut Self

pub fn record<D: Recorder<L, N> + 'a>(&mut self, datum: D) -> &mut Self

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

Trait Implementations

impl<'a, S, L, N> From<S> for LoggingScheduler<'a, S, L, N>

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

fn from(value: S) -> Self

Converts to this type from the input type.

impl<'a, S, L, N> RewriteScheduler<L, N> for LoggingScheduler<'a, S, L, N>

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

fn can_stop(&mut self, iteration: usize) -> bool

Whether or not the Runner is allowed to say it has saturated.

fn search_rewrite<'s>( &mut self, iteration: usize, egraph: &EGraph<L, N>, rewrite: &'s Rewrite<L, N>, ) -> Vec<SearchMatches<'s, L>>

A hook allowing you to customize rewrite searching behavior. Useful to implement rule management.

fn apply_rewrite( &mut self, iteration: usize, egraph: &mut EGraph<L, N>, rewrite: &Rewrite<L, N>, matches: Vec<SearchMatches<'_, L>>, ) -> usize

A hook allowing you to customize rewrite application behavior. Useful to implement rule management.