Skip to main content

ClonableDynEqualityRule

ftml_solver::rules

Trait ClonableDynEqualityRule 

Source 
trait ClonableDynEqualityRule<Split: SplitStrategy>: EqualityRule<Split> {
    // Required method
    fn to_dyn_equality(&self) -> Box<dyn EqualityRule<Split>>;
}

Required Methods§

Source

fn to_dyn_equality(&self) -> Box<dyn EqualityRule<Split>>

Implementors§