Struct OrTermination 

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

Combines multiple terminations with OR logic.

Terminates when ANY of the child terminations triggers.

Example

use solverforge_solver::termination::{OrTermination, TimeTermination, StepCountTermination};
use solverforge_scoring::SimpleScoreDirector;
use solverforge_core::domain::PlanningSolution;
use solverforge_core::score::SimpleScore;
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 after 30 seconds OR 1000 steps
let term: OrTermination<_, MySolution, MyDirector> = OrTermination::new((
    TimeTermination::seconds(30),
    StepCountTermination::new(1000),
));

Tuple Fields

0: T

Implementations

impl<T, S, D> OrTermination<T, S, D>

pub fn new(terminations: T) -> Self

Trait Implementations

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

fn clone(&self) -> OrTermination<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 OrTermination<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 OrTermination<(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 OrTermination<(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 OrTermination<(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 OrTermination<(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 OrTermination<(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 OrTermination<(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 OrTermination<(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 OrTermination<(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.