Enum StoppingRule 

pub enum StoppingRule {
    FixedProbes {
        n_probes: u32,
    },
    BoundBased {
        min_probes: u32,
        max_probes: u32,
    },
    ProbabilisticBound {
        probability_threshold: f32,
        error_quantile: f32,
        min_probes: u32,
        max_probes: u32,
    },
    DeterministicBound {
        max_error: f32,
    },
    BudgetConstrained {
        inner: Box<StoppingRule>,
        max_ram_bytes: u64,
        max_latency: Duration,
    },
}

Stopping rule that matches guarantee mode semantics

Variants

FixedProbes

Stop after scanning fixed number of lists/probes

Fields

n_probes: u32

BoundBased

Stop when kth best score exceeds best list bound

For approximate mode: compare proxy scores directly

Fields

min_probes: u32

Minimum number of probes before considering early stop

max_probes: u32

Maximum probes as safety limit

ProbabilisticBound

Stop when probability of finding better candidates drops below threshold

For calibrated mode: uses error envelopes to estimate probability

Fields

probability_threshold: f32

Probability threshold for stopping

error_quantile: f32

Error envelope quantile

min_probes: u32

Minimum probes

max_probes: u32

Maximum probes

DeterministicBound

Stop when all candidates with possible better true scores are checked

For certified mode: uses deterministic LB/UB comparisons

Fields

max_error: f32

Maximum error bound (guaranteed upper bound on ε)

BudgetConstrained

Combined budget and bound stopping

Fields

inner: Box<StoppingRule>

max_ram_bytes: u64

max_latency: Duration

Implementations

impl StoppingRule

pub fn for_mode(mode: &GuaranteeMode, default_probes: u32) -> Self

Create stopping rule appropriate for guarantee mode

pub fn with_budget(self, max_ram_bytes: u64, max_latency: Duration) -> Self

Wrap with budget constraints

Trait Implementations

impl Clone for StoppingRule

fn clone(&self) -> StoppingRule

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StoppingRule

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

Formats the value using the given formatter.