Trait RewriteRule 

pub trait RewriteRule<A: Analysis<IKun>>: Send + Sync {
    // Required methods
    fn name(&self) -> &str;
    fn apply(&self, egraph: &EGraph<IKun, A>);
}

Required Methods

fn name(&self) -> &str

fn apply(&self, egraph: &EGraph<IKun, A>)

Implementors