Skip to main content

ClonableDynUniverseRule

ftml_solver::rules

Trait ClonableDynUniverseRule 

Source 
trait ClonableDynUniverseRule<Split: SplitStrategy>: UniverseRule<Split> {
    // Required method
    fn to_dyn_universe(&self) -> Box<dyn UniverseRule<Split>>;
}

Required Methods§

Source

fn to_dyn_universe(&self) -> Box<dyn UniverseRule<Split>>

Implementors§