pub trait Condition<L, N>where
L: Language,
N: Analysis<L>,{
// Required method
fn check(
&self,
egraph: &mut EGraph<L, N>,
eclass: Id,
subst: &Subst
) -> bool;
// Provided method
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
.