solverforge_solver/termination/
mod.rs

1//! Termination conditions for solver phases.
2
3mod best_score;
4mod composite;
5mod diminished_returns;
6mod move_count;
7mod score_calculation_count;
8mod step_count;
9mod time;
10mod unimproved;
11
12use std::fmt::Debug;
13
14use solverforge_core::domain::PlanningSolution;
15use solverforge_scoring::ScoreDirector;
16
17use crate::scope::SolverScope;
18
19pub use best_score::{BestScoreFeasibleTermination, BestScoreTermination};
20pub use composite::{AndTermination, OrTermination};
21pub use diminished_returns::DiminishedReturnsTermination;
22pub use move_count::MoveCountTermination;
23pub use score_calculation_count::ScoreCalculationCountTermination;
24pub use step_count::StepCountTermination;
25pub use time::TimeTermination;
26pub use unimproved::{UnimprovedStepCountTermination, UnimprovedTimeTermination};
27
28/// Trait for determining when to stop solving.
29///
30/// # Type Parameters
31/// * `S` - The planning solution type
32/// * `D` - The score director type
33pub trait Termination<S: PlanningSolution, D: ScoreDirector<S>>: Send + Debug {
34    /// Returns true if solving should terminate.
35    fn is_terminated(&self, solver_scope: &SolverScope<S, D>) -> bool;
36}
37
38#[cfg(test)]
39mod tests;