1 2 3 4 5 6 7 8 9
use crate::core::state::State; pub trait Solver<P, S: State> { fn next_iter(&mut self, problem: &P, state: S) -> S; fn terminate(&self, _state: &S) -> bool { false } }