[−][src]Trait egg::Applier
Required methods
Loading content...Provided methods
fn apply_matches(
&self,
egraph: &mut EGraph<L, M>,
matches: &[SearchMatches]
) -> Vec<Id>
&self,
egraph: &mut EGraph<L, M>,
matches: &[SearchMatches]
) -> Vec<Id>
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>,
[src]
L: Language,
M: Metadata<L>,
A: Applier<L, M>,
C: Condition<L, M>,