Struct AndTermination 

pub struct AndTermination<T, S, D>(pub T, _);

Combines multiple terminations with AND logic.

All terminations must agree before solving terminates.

Example

use solverforge_solver::termination::{AndTermination, TimeTermination, StepCountTermination};
use solverforge_scoring::SimpleScoreDirector;
use solverforge_core::score::SimpleScore;
use solverforge_core::domain::PlanningSolution;
use std::time::Duration;

#[derive(Clone)]
struct MySolution;
impl PlanningSolution for MySolution {
    type Score = SimpleScore;
    fn score(&self) -> Option<Self::Score> { None }
    fn set_score(&mut self, _: Option<Self::Score>) {}
}

type MyDirector = SimpleScoreDirector<MySolution, fn(&MySolution) -> SimpleScore>;

// Terminate when both conditions are met
let term: AndTermination<_, MySolution, MyDirector> = AndTermination::new((
    TimeTermination::seconds(10),
    StepCountTermination::new(100),
));

Tuple Fields

0: T

Implementations

impl<T, S, D> AndTermination<T, S, D>

pub fn new(terminations: T) -> Self

Trait Implementations

impl<T: Clone, S: Clone, D: Clone> Clone for AndTermination<T, S, D>

fn clone(&self) -> AndTermination<T, S, D>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Debug, S, D> Debug for AndTermination<T, S, D>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<S, D, T0> Termination<S, D> for AndTermination<(T0,), S, D>

where S: PlanningSolution, D: ScoreDirector<S>, T0: Termination<S, D>,

fn is_terminated(&self, solver_scope: &SolverScope<'_, S, D>) -> bool

Returns true if solving should terminate.

impl<S, D, T0, T1> Termination<S, D> for AndTermination<(T0, T1), S, D>

where S: PlanningSolution, D: ScoreDirector<S>, T0: Termination<S, D>, T1: Termination<S, D>,

fn is_terminated(&self, solver_scope: &SolverScope<'_, S, D>) -> bool

Returns true if solving should terminate.

impl<S, D, T0, T1, T2> Termination<S, D> for AndTermination<(T0, T1, T2), S, D>

where S: PlanningSolution, D: ScoreDirector<S>, T0: Termination<S, D>, T1: Termination<S, D>, T2: Termination<S, D>,

fn is_terminated(&self, solver_scope: &SolverScope<'_, S, D>) -> bool

Returns true if solving should terminate.

impl<S, D, T0, T1, T2, T3> Termination<S, D> for AndTermination<(T0, T1, T2, T3), S, D>

where S: PlanningSolution, D: ScoreDirector<S>, T0: Termination<S, D>, T1: Termination<S, D>, T2: Termination<S, D>, T3: Termination<S, D>,

fn is_terminated(&self, solver_scope: &SolverScope<'_, S, D>) -> bool

Returns true if solving should terminate.

impl<S, D, T0, T1, T2, T3, T4> Termination<S, D> for AndTermination<(T0, T1, T2, T3, T4), S, D>

where S: PlanningSolution, D: ScoreDirector<S>, T0: Termination<S, D>, T1: Termination<S, D>, T2: Termination<S, D>, T3: Termination<S, D>, T4: Termination<S, D>,

fn is_terminated(&self, solver_scope: &SolverScope<'_, S, D>) -> bool

Returns true if solving should terminate.

impl<S, D, T0, T1, T2, T3, T4, T5> Termination<S, D> for AndTermination<(T0, T1, T2, T3, T4, T5), S, D>

where S: PlanningSolution, D: ScoreDirector<S>, T0: Termination<S, D>, T1: Termination<S, D>, T2: Termination<S, D>, T3: Termination<S, D>, T4: Termination<S, D>, T5: Termination<S, D>,

fn is_terminated(&self, solver_scope: &SolverScope<'_, S, D>) -> bool

Returns true if solving should terminate.

impl<S, D, T0, T1, T2, T3, T4, T5, T6> Termination<S, D> for AndTermination<(T0, T1, T2, T3, T4, T5, T6), S, D>

where S: PlanningSolution, D: ScoreDirector<S>, T0: Termination<S, D>, T1: Termination<S, D>, T2: Termination<S, D>, T3: Termination<S, D>, T4: Termination<S, D>, T5: Termination<S, D>, T6: Termination<S, D>,

fn is_terminated(&self, solver_scope: &SolverScope<'_, S, D>) -> bool

Returns true if solving should terminate.

impl<S, D, T0, T1, T2, T3, T4, T5, T6, T7> Termination<S, D> for AndTermination<(T0, T1, T2, T3, T4, T5, T6, T7), S, D>

where S: PlanningSolution, D: ScoreDirector<S>, T0: Termination<S, D>, T1: Termination<S, D>, T2: Termination<S, D>, T3: Termination<S, D>, T4: Termination<S, D>, T5: Termination<S, D>, T6: Termination<S, D>, T7: Termination<S, D>,

fn is_terminated(&self, solver_scope: &SolverScope<'_, S, D>) -> bool

Returns true if solving should terminate.