Trait SolutionCallback 

pub trait SolutionCallback<B>
where
    B: Brancher,
{
    // Required method
    fn on_solution_callback(
        &self,
        solver: &Solver,
        solution: SolutionReference<'_>,
        brancher: &B,
    );
}

Required Methods

fn on_solution_callback( &self, solver: &Solver, solution: SolutionReference<'_>, brancher: &B, )

Implementations on Foreign Types

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

where T: SolutionCallback<B>, B: Brancher,

fn on_solution_callback( &self, solver: &Solver, solution: SolutionReference<'_>, brancher: &B, )

Implementors

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

where T: Fn(&Solver, SolutionReference<'_>, &B), B: Brancher,