Struct DdminOptions 

pub struct DdminOptions { /* private fields */ }

Execution options for DDMin.

Implementations

impl DdminOptions

pub const fn new( initial_granularity: NonZeroUsize, max_oracle_calls: Option<usize>, ) -> Self

Create execution options.

initial_granularity controls the first split count. Values below two are accepted and normalized by the algorithm. max_oracle_calls stops the run after that many oracle evaluations.

Examples found in repository

examples/budgeted.rs (line 8)

fn main() {
    let options = DdminOptions::new(NonZeroUsize::MIN, Some(1));
    let input = DdminInput::new(vec![1_u8, 2, 3, 4], options);
    let mut oracle = |remaining: &[u8]| {
        if remaining.contains(&2) {
            OracleOutcome::Interesting
        } else {
            OracleOutcome::NotInteresting
        }
    };

    let output = ddmin(input, &mut oracle);
    assert_eq!(
        output.guarantee(),
        DdminGuarantee::Incomplete(DdminStopReason::MaxOracleCallsReached),
        "DDMin should report an incomplete guarantee when the oracle-call budget is exhausted"
    );
    assert_eq!(output.stats().oracle_calls(), 1, "DDMin should stop at the configured budget");
}

pub const fn initial_granularity(self) -> NonZeroUsize

Requested initial split count.

pub const fn max_oracle_calls(self) -> Option<usize>

Optional maximum number of oracle evaluations for one run.

Trait Implementations

impl Clone for DdminOptions

fn clone(&self) -> DdminOptions

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for DdminOptions

impl Debug for DdminOptions

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for DdminOptions

fn default() -> Self

Returns the “default value” for a type.

impl Eq for DdminOptions

impl PartialEq for DdminOptions

fn eq(&self, other: &DdminOptions) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for DdminOptions