Trait egg::Searcher

pub trait Searcher<L, M> where
    L: Language,
    M: Metadata<L>, {
    fn search_eclass(
        &self, 
        egraph: &EGraph<L, M>, 
        eclass: Id
    ) -> Option<SearchMatches>;

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

Required methods

fn search_eclass(
    &self,
    egraph: &EGraph<L, M>,
    eclass: Id
) -> Option<SearchMatches>

Loading content...

Provided methods

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

Loading content...

Implementors

impl<L, M> Searcher<L, M> for Pattern<L> where
    L: Language,
    M: Metadata<L>, 

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

fn search_eclass(
    &self,
    egraph: &EGraph<L, M>,
    eclass: Id
) -> Option<SearchMatches>

Loading content...