pub trait Condition<L, N> where
L: Language,
N: Analysis<L>, {
fn check(
&self,
egraph: &mut EGraph<L, N>,
eclass: Id,
subst: &Subst
) -> bool;
fn vars(&self) -> Vec<Var> { ... }
}
Expand description
A condition to check in a ConditionalApplier
.
See the ConditionalApplier
docs.
Notably, any function (Fn
) that doesn’t mutate other state
and matches the signature of check
implements Condition
.