Trait OptimisationProcedure 

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

Required Methods

fn optimise( &mut self, brancher: &mut B, termination: &mut impl TerminationCondition, resolver: &mut R, solver: &mut Solver, ) -> OptimisationResult<Callback::Stop>

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, R, Callback> OptimisationProcedure<B, R, Callback> for LinearUnsatSat<Var, Callback>

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

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

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