pub trait Termination<S: PlanningSolution, D: Director<S>, BestCb: ProgressCallback<S> = ()>: Send + Debug {
// Required method
fn is_terminated(
&self,
solver_scope: &SolverScope<'_, S, D, BestCb>,
) -> bool;
// Provided method
fn install_inphase_limits(
&self,
_solver_scope: &mut SolverScope<'_, S, D, BestCb>,
) { ... }
}Expand description
Trait for determining when to stop solving.
§Type Parameters
S- The planning solution typeD- The score director typeBestCb- The best-solution callback type (default())
Required Methods§
fn is_terminated(&self, solver_scope: &SolverScope<'_, S, D, BestCb>) -> bool
Provided Methods§
fn install_inphase_limits( &self, _solver_scope: &mut SolverScope<'_, S, D, BestCb>, )
Dyn Compatibility§
This trait is dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".