[−][src]Trait egg::Condition
Required methods
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]
L: Language,
M: Metadata<L>,
A1: Applier<L, M>,
A2: Applier<L, M>,
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]
L: Language,
M: Metadata<L>,
F: Fn(&mut EGraph<L, M>, Id, &WildMap) -> bool,