Skip to main content

PreparationRule

ftml_solver::rules

Trait PreparationRule 

Source 
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§

Source

fn applicable(&self, checker: &CheckRef<'_, '_, Split>, t: &Term) -> bool

Source

fn apply( &self, checker: &mut CheckRef<'_, '_, Split>, t: Term, path: Option<(&mut SmallVec<u8, 16>, usize)>, ) -> ControlFlow<Term, Term>

Source

fn applicable_revert(&self, checker: &CheckRef<'_, '_, Split>, t: &Term) -> bool

Source

fn revert( &self, checker: &CheckRef<'_, '_, Split>, t: Term, ) -> ControlFlow<Term, Term>

Implementors§