Struct FuelMeter 

pub struct FuelMeter { /* private fields */ }

Fuel accounting for node expansions. The production counter is device-resident and read back once post-solve as bounded metadata; this meter is the typed refusal seam both sides share. Exhaustion saturates: once refused, every further charge refuses with the same literals, so no caller can slip work past the budget by retrying.

Implementations

impl FuelMeter

pub fn new(limit: u64) -> Self

pub fn spent(&self) -> u64

pub fn remaining(&self) -> u64

Unspent budget.

pub fn refund(&mut self, expansions: u64)

Refund expansions that a prior authorization charged but the device measurably did not spend. Callers refund at most authorized - measured for one completed solve; the meter saturates at zero rather than underflowing.

pub fn charge(&mut self, expansions: u64) -> Result<(), SolverError>

Charge expansions node expansions. Refuses typed the moment the budget would be exceeded; the overflowing charge is not applied.

Trait Implementations

impl Debug for FuelMeter

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

Formats the value using the given formatter.