[−][src]Trait egg::Condition

pub trait Condition<L, M> where
    L: Language,
    M: Metadata<L>, {
    fn check(
        &self, 
        egraph: &mut EGraph<L, M>, 
        eclass: Id, 
        mapping: &WildMap
    ) -> bool;
}

Required methods

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

Loading content...

Implementors

impl<L, M, A1, A2> Condition<L, M> for ConditionEqual<A1, A2> where
    L: Language,
    M: Metadata<L>,
    A1: Applier<L, M>,
    A2: Applier<L, M>, [src]

impl<L, M, F> Condition<L, M> for F where
    L: Language,
    M: Metadata<L>,
    F: Fn(&mut EGraph<L, M>, Id, &WildMap) -> bool, [src]

Loading content...