Struct SimpleScheduler 

pub struct SimpleScheduler;

A very simple RewriteScheduler that runs every rewrite every time.

Using this is basically turning off rule scheduling. It uses the default implementation for all RewriteScheduler methods.

This is not the default scheduler; choose it with the with_scheduler method.

Trait Implementations

impl Debug for SimpleScheduler

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl<L, N> RewriteScheduler<L, N> for SimpleScheduler

where 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<'a>( &mut self, iteration: usize, egraph: &EGraph<L, N>, rewrite: &'a Rewrite<L, N>, ) -> Vec<SearchMatches<'a, 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.