Trait egg::Applier

pub trait Applier<L, M> where
    L: Language,
    M: Metadata<L>, {
    fn apply_one(
        &self, 
        egraph: &mut EGraph<L, M>, 
        eclass: Id, 
        mapping: &WildMap
    ) -> Vec<Id>;

    fn apply_matches(
        &self, 
        egraph: &mut EGraph<L, M>, 
        matches: &[SearchMatches]
    ) -> Vec<Id> { ... }
}

Required methods

fn apply_one(
    &self,
    egraph: &mut EGraph<L, M>,
    eclass: Id,
    mapping: &WildMap
) -> Vec<Id>

Loading content...

Provided methods

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

Loading content...

Implementors

impl<C, A, L, M> Applier<L, M> for ConditionalApplier<C, A> where
    L: Language,
    M: Metadata<L>,
    A: Applier<L, M>,
    C: Condition<L, M>, 

fn apply_one(
    &self,
    egraph: &mut EGraph<L, M>,
    eclass: Id,
    mapping: &WildMap
) -> Vec<Id>

impl<L: Language, M: Metadata<L>> Applier<L, M> for Pattern<L>

fn apply_one(
    &self,
    egraph: &mut EGraph<L, M>,
    _: Id,
    mapping: &WildMap
) -> Vec<Id>

Loading content...