Struct ReductionBudget 

pub struct ReductionBudget {
    pub remaining: u64,
}

Controls how many reduction steps are permitted before giving up.

Fields

remaining: u64

Remaining number of steps allowed.

Implementations

impl ReductionBudget

pub fn new(n: u64) -> Self

Create a new budget allowing n steps.

pub fn unlimited() -> Self

Create an unlimited budget.

pub fn consume(&mut self) -> bool

Consume one step. Returns false if the budget is exhausted.

pub fn is_active(&self) -> bool

Whether the budget is still active.

Trait Implementations

impl Clone for ReductionBudget

fn clone(&self) -> ReductionBudget

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ReductionBudget

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

Formats the value using the given formatter.

impl PartialEq for ReductionBudget

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for ReductionBudget

impl Eq for ReductionBudget

impl StructuralPartialEq for ReductionBudget