Struct PlanBudget 

pub struct PlanBudget { /* private fields */ }

Cumulative budget for a chain of solves.

Tracks both the strictest per-call class allowance (max_class) and a count of remaining ops (remaining_ops). Each [try_consume] either succeeds (decrementing remaining_ops, updating worst_seen) or returns a BudgetExhausted error the caller can use to short-circuit the chain.

Implementations

impl PlanBudget

pub fn new(max_class: ComplexityClass, max_ops: usize) -> Self

Construct a fresh budget with the given per-call class ceiling and op-count allowance.

pub fn try_consume( &mut self, class: ComplexityClass, ) -> Result<(), BudgetExhausted>

Attempt to consume one slot for an operation of the given class. Returns Ok(()) on success and decrements the remaining-op count; returns Err(BudgetExhausted) if the class exceeds the budget or no ops remain.

pub const fn remaining_ops(&self) -> usize

Number of op-slots still available.

pub const fn max_class(&self) -> ComplexityClass

Strictest per-call class allowed.

pub const fn worst_seen(&self) -> Option<ComplexityClass>

Highest class consumed so far across the chain, or None if no ops have been consumed yet.

pub const fn has_capacity(&self) -> bool

True iff the budget can still accept at least a Logarithmic op — i.e. there are ops remaining (since Logarithmic is the cheapest class and always within any sensible max_class). Useful for “should I even try the next iteration?” loop guards.

Trait Implementations

impl Clone for PlanBudget

fn clone(&self) -> PlanBudget

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PlanBudget

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

Formats the value using the given formatter.