pub trait PreparationRule<Split: SplitStrategy>: CheckerRule {
// Required methods
fn applicable(&self, checker: &CheckRef<'_, '_, Split>, t: &Term) -> bool;
fn apply(
&self,
checker: &mut CheckRef<'_, '_, Split>,
t: Term,
path: Option<(&mut SmallVec<u8, 16>, usize)>,
) -> ControlFlow<Term, Term>;
fn applicable_revert(
&self,
checker: &CheckRef<'_, '_, Split>,
t: &Term,
) -> bool;
fn revert(
&self,
checker: &CheckRef<'_, '_, Split>,
t: Term,
) -> ControlFlow<Term, Term>;
}Required Methods§
fn applicable(&self, checker: &CheckRef<'_, '_, Split>, t: &Term) -> bool
fn apply( &self, checker: &mut CheckRef<'_, '_, Split>, t: Term, path: Option<(&mut SmallVec<u8, 16>, usize)>, ) -> ControlFlow<Term, Term>
fn applicable_revert(&self, checker: &CheckRef<'_, '_, Split>, t: &Term) -> bool
fn revert( &self, checker: &CheckRef<'_, '_, Split>, t: Term, ) -> ControlFlow<Term, Term>
Dyn Compatibility§
This trait is dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".