Struct egg::Rewrite

#[non_exhaustive]
pub struct Rewrite<L, M> { /* fields omitted */ }

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.

Methods

impl<L: Language, M: Metadata<L>> Rewrite<L, M>

pub fn new(
    name: impl Into<String>,
    long_name: impl Into<String>,
    searcher: impl Searcher<L, M> + 'static,
    applier: impl Applier<L, M> + 'static
) -> Self

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

pub fn name(&self) -> &str

Returns the name of the rewrite.

pub fn long_name(&self) -> &str

Returns the long name of the rewrite which should only be used for debugging and displaying.

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

Call search on the Searcher.

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

Call apply_matches on the Applier.

Trait Implementations

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

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

Returns a copy of the value.

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

Performs copy-assignment from source.