Struct IterationBound 

pub struct IterationBound { /* private fields */ }

Per-iteration hard bound for a damped retry loop: the net that makes an unbounded loop {} safe. Tick it once at the top of EVERY pass — accepted, rejected, or any continue path that reaches neither — and ask IterationBound::exhausted_at wherever the loop’s exhaustion question is posed. Created fresh per outer iteration.

Implementations

impl IterationBound

pub fn new(max: usize) -> Self

pub fn tick(&mut self)

Count one loop pass. Top-of-loop, unconditionally.

pub fn used(&self) -> usize

Passes counted so far (diagnostics: last_step_halving, logs).

pub fn max(&self) -> usize

The configured cap (diagnostics).

pub fn count_exhausted(&self) -> bool

Has the pass count alone exhausted the budget?

pub fn exhausted_at(&self, damping: f64) -> bool

The single exhaustion question: count OR damping window (madsen_retry_exhausted, answered from owned state).

pub fn verdict_at(&self, damping: f64) -> LoopVerdict

IterationBound::exhausted_at as a verdict, for consumers that speak LoopVerdict.

Trait Implementations

impl Clone for IterationBound

fn clone(&self) -> IterationBound

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IterationBound

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

Formats the value using the given formatter.