Struct Fuel 

pub struct Fuel { /* private fields */ }

A step budget for evaluation.

Spend one unit at every reduction step so that diverging programs surface as Error::FuelExhausted rather than stack overflow or non-termination.

Implementations

impl Fuel

pub fn new(limit: u64) -> Self

A fresh budget of limit steps.

pub fn limit(&self) -> u64

The original budget this Fuel was created with.

pub fn remaining(&self) -> u64

The number of steps still available.

Trait Implementations

impl Clone for Fuel

fn clone(&self) -> Fuel

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Fuel

impl Debug for Fuel

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

Formats the value using the given formatter.

impl Eq for Fuel

impl PartialEq for Fuel

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Fuel