Trait DdminOracle 

pub trait DdminOracle<C> {
    // Required method
    fn evaluate(&mut self, remaining: &[C]) -> OracleOutcome;
}

Callback boundary between DDMin and the system being reduced.

Required Methods

fn evaluate(&mut self, remaining: &[C]) -> OracleOutcome

Evaluate a candidate list.

The slice contains the candidates that remain in this trial.

Implementors

impl<C, F> DdminOracle<C> for F

where F: FnMut(&[C]) -> OracleOutcome,