Trait OptimisationProcedure 

pub trait OptimisationProcedure<B, Callback>
where
    B: Brancher,
    Callback: SolutionCallback<B>,
{
    // Required method
    fn optimise(
        &mut self,
        brancher: &mut B,
        termination: &mut impl TerminationCondition,
        solver: &mut Solver,
    ) -> OptimisationResult;
}

Required Methods

fn optimise( &mut self, brancher: &mut B, termination: &mut impl TerminationCondition, solver: &mut Solver, ) -> OptimisationResult

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<Var, B, Callback> OptimisationProcedure<B, Callback> for LinearUnsatSat<Var, Callback>

where Var: IntegerVariable, B: Brancher, Callback: SolutionCallback<B>,

impl<Var, Callback, B> OptimisationProcedure<B, Callback> for LinearSatUnsat<Var, Callback>

where Var: IntegerVariable, B: Brancher, Callback: SolutionCallback<B>,