Trait Termination 

pub trait Termination<S: PlanningSolution, D: ScoreDirector<S>>: Send + Debug {
    // Required method
    fn is_terminated(&self, solver_scope: &SolverScope<'_, S, D>) -> bool;

    // Provided method
    fn install_inphase_limits(&self, _solver_scope: &mut SolverScope<'_, S, D>) { ... }
}

Trait for determining when to stop solving.

Type Parameters

• S - The planning solution type
• D - The score director type

Required Methods

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

Returns true if solving should terminate.

Provided Methods

fn install_inphase_limits(&self, _solver_scope: &mut SolverScope<'_, S, D>)

Installs this termination’s limit as an in-phase limit on the solver scope.

This allows the termination to fire inside the phase step loop (T1 fix). The default implementation is a no-op.

Implementors

impl<S, D, F> Termination<S, D> for BestScoreFeasibleTermination<S, F>

where S: PlanningSolution, D: ScoreDirector<S>, F: Fn(&S::Score) -> bool + Send + Sync,

impl<S, D, Sc> Termination<S, D> for BestScoreTermination<Sc>

where S: PlanningSolution<Score = Sc>, D: ScoreDirector<S>, Sc: Score,

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

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

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

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

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>,

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>,

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>,

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>,

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>,

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>,

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>,

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>,

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>,

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>,

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>,

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>,

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>,

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>,

impl<S: PlanningSolution, D: ScoreDirector<S>> Termination<S, D> for NoTermination

impl<S: PlanningSolution, D: ScoreDirector<S>> Termination<S, D> for DiminishedReturnsTermination<S>

impl<S: PlanningSolution, D: ScoreDirector<S>> Termination<S, D> for MoveCountTermination<S>

impl<S: PlanningSolution, D: ScoreDirector<S>> Termination<S, D> for ScoreCalculationCountTermination<S>

impl<S: PlanningSolution, D: ScoreDirector<S>> Termination<S, D> for StepCountTermination

impl<S: PlanningSolution, D: ScoreDirector<S>> Termination<S, D> for TimeTermination

impl<S: PlanningSolution, D: ScoreDirector<S>> Termination<S, D> for UnimprovedStepCountTermination<S>

impl<S: PlanningSolution, D: ScoreDirector<S>> Termination<S, D> for UnimprovedTimeTermination<S>