Trait MaybeTermination 

pub trait MaybeTermination<S: PlanningSolution, D: Director<S>, ProgressCb: ProgressCallback<S> = ()>: Send {
    // Required method
    fn should_terminate(
        &self,
        solver_scope: &SolverScope<'_, S, D, ProgressCb>,
    ) -> bool;

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

Marker trait for termination types that can be used in Solver.

Required Methods

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

Provided Methods

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

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl<S, D, ProgressCb, T> MaybeTermination<S, D, ProgressCb> for Option<T>

where S: PlanningSolution, D: Director<S>, ProgressCb: ProgressCallback<S>, T: Termination<S, D, ProgressCb>,

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

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

Implementors

impl<S, D, ProgressCb> MaybeTermination<S, D, ProgressCb> for NoTermination

where S: PlanningSolution, D: Director<S>, ProgressCb: ProgressCallback<S>,