Struct egg::Rewrite

#[non_exhaustive]pub struct Rewrite<L, N> { /* 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.

Implementations

impl<L, N> Rewrite<L, N>

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.

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

pub fn new(
    name: impl Into<String>,
    long_name: impl Into<String>,
    searcher: impl Searcher<L, N> + 'static,
    applier: impl Applier<L, N> + '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>

Call search on the Searcher.

pub fn apply(
    &self,
    egraph: &mut EGraph<L, N>,
    matches: &[SearchMatches]
) -> 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 + 'static,
    N: 'static, 

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

Formats the value using the given formatter.