Struct Rewrite 

pub struct Rewrite<L: Language, N: Analysis<L> = ()> { /* private fields */ }

An equational rewrite rule.

Implementations

impl<L: Language + 'static, N: Analysis<L> + 'static> Rewrite<L, N>

pub fn new(rule: &str, a: &str, b: &str) -> Self

Create a rewrite rule by specifing a left- and right-hand side of your equation.

pub fn new_if( rule: &str, a: &str, b: &str, cond: impl Fn(&Subst, &EGraph<L, N>) -> bool + 'static, ) -> Self

Create a conditional rewrite rule.