Trait SolutionCallback 

pub trait SolutionCallback<B: Brancher, R: ConflictResolver> {
    type Stop;

    // Required method
    fn on_solution_callback(
        &mut self,
        solver: &Solver,
        solution: SolutionReference<'_>,
        brancher: &B,
        resolver: &R,
    ) -> ControlFlow<Self::Stop>;
}

Called during optimisation with every encountered solution.

The callback can determine whether to proceed optimising or whether to stop by returning a ControlFlow value. When ControlFlow::Break is returned, a value of SolutionCallback::Stop can be supplied that will be forwarded to the result of the optimisation call.

Required Associated Types

type Stop

The type of value to return if optimisation should stop.

Required Methods

fn on_solution_callback( &mut self, solver: &Solver, solution: SolutionReference<'_>, brancher: &B, resolver: &R, ) -> ControlFlow<Self::Stop>

Called when a solution is encountered.

Implementations on Foreign Types

impl<T, StopData, B, R> SolutionCallback<B, R> for Option<T>

where T: SolutionCallback<B, R, Stop = StopData>, B: Brancher, R: ConflictResolver,

type Stop = StopData

fn on_solution_callback( &mut self, solver: &Solver, solution: SolutionReference<'_>, brancher: &B, resolver: &R, ) -> ControlFlow<Self::Stop>

Implementors

impl<T, B, R, StopData> SolutionCallback<B, R> for T

where T: FnMut(&Solver, SolutionReference<'_>, &B, &R) -> ControlFlow<StopData>, B: Brancher, R: ConflictResolver,

type Stop = StopData