Struct CtfeBudget 

pub struct CtfeBudget {
    pub fuel_remaining: u64,
    pub stack_remaining: usize,
    pub memo_size_remaining: usize,
    pub allocations: u64,
}

CTFE evaluation budget tracker (tracks multiple resources)

Fields

fuel_remaining: u64

stack_remaining: usize

memo_size_remaining: usize

allocations: u64

Implementations

impl CtfeBudget

pub fn new(fuel: u64, stack: usize, memo: usize) -> Self

pub fn consume_fuel(&mut self, n: u64) -> bool

pub fn push_stack(&mut self) -> bool

pub fn pop_stack(&mut self)

pub fn is_exhausted(&self) -> bool

Trait Implementations

impl Clone for CtfeBudget

fn clone(&self) -> CtfeBudget

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CtfeBudget

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

Formats the value using the given formatter.