Skip to main content

ClonableDynMarkerRule

ftml_solver::rules

Trait ClonableDynMarkerRule 

Source 
trait ClonableDynMarkerRule<Split: SplitStrategy>: MarkerRule<Split> {
    // Required method
    fn to_dyn_marker(&self) -> Box<dyn MarkerRule<Split>>;
}

Required Methods§

Source

fn to_dyn_marker(&self) -> Box<dyn MarkerRule<Split>>

Implementors§

Source§

impl<Split: SplitStrategy, T: MarkerRule<Split> + Sized + Clone> ClonableDynMarkerRule<Split> for T