Skip to main content

ClonableDynCheckingRule

ftml_solver::rules

Trait ClonableDynCheckingRule 

Source 
trait ClonableDynCheckingRule<Split: SplitStrategy>: CheckingRule<Split> {
    // Required method
    fn to_dyn_checking(&self) -> Box<dyn CheckingRule<Split>>;
}

Required Methods§

Source

fn to_dyn_checking(&self) -> Box<dyn CheckingRule<Split>>

Implementors§