Struct egg::Rewrite

#[non_exhaustive]
pub struct Rewrite<L, N> {
    pub name: Symbol,
    pub searcher: Arc<dyn Searcher<L, N> + Sync + Send>,
    pub applier: Arc<dyn Applier<L, N> + Sync + Send>,
}

A rewrite that searches for the lefthand side and applies the righthand side.

The rewrite! is the easiest way to create rewrites.

A Rewrite consists principally of a Searcher (the lefthand side) and an Applier (the righthand side). It additionally stores a name used to refer to the rewrite and a long name used for debugging.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

name: Symbol

The name of the rewrite.

searcher: Arc<dyn Searcher<L, N> + Sync + Send>

The searcher (left-hand side) of the rewrite.

applier: Arc<dyn Applier<L, N> + Sync + Send>

The applier (right-hand side) of the rewrite.

Implementations

impl<L: Language, N: Analysis<L>> Rewrite<L, N>

pub fn new(
    name: impl Into<Symbol>,
    searcher: impl Searcher<L, N> + Send + Sync + 'static,
    applier: impl Applier<L, N> + Send + Sync + 'static
) -> Result<Self, String>

Create a new Rewrite. You typically want to use the rewrite! macro instead.

pub fn search(&self, egraph: &EGraph<L, N>) -> Vec<SearchMatches<'_, L>>

Call search on the Searcher.

pub fn apply(
    &self,
    egraph: &mut EGraph<L, N>,
    matches: &[SearchMatches<'_, L>]
) -> Vec<Id>

Call apply_matches on the Applier.

Trait Implementations

impl<L: Clone, N: Clone> Clone for Rewrite<L, N>

fn clone(&self) -> Rewrite<L, N>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<L, N> Debug for Rewrite<L, N> where
    L: Language + Display + 'static,
    N: 'static, 

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

Formats the value using the given formatter.