pub trait Termination<S: PlanningSolution>: Send + Debug {
// Required method
fn is_terminated(&self, solver_scope: &SolverScope<S>) -> bool;
}Expand description
Trait for determining when to stop solving.
Required Methods§
Sourcefn is_terminated(&self, solver_scope: &SolverScope<S>) -> bool
fn is_terminated(&self, solver_scope: &SolverScope<S>) -> bool
Returns true if solving should terminate.