Skip to main content

EqualityRule

ftml_solver::rules

Trait EqualityRule 

Source 
pub trait EqualityRule<Split: SplitStrategy>: CheckerRule {
    // Required methods
    fn applicable(&self, lhs: &Term, rhs: &Term) -> bool;
    fn apply<'t>(
        &self,
        checker: CheckRef<'t, '_, Split>,
        lhs: &'t Term,
        rhs: &'t Term,
    ) -> Option<bool>;
}

Required Methods§

Source

fn applicable(&self, lhs: &Term, rhs: &Term) -> bool

Source

fn apply<'t>( &self, checker: CheckRef<'t, '_, Split>, lhs: &'t Term, rhs: &'t Term, ) -> Option<bool>

Implementors§