Trait HasExecutions

Source
pub trait HasExecutions {
    // Required methods
    fn executions(&self) -> &u64;
    fn executions_mut(&mut self) -> &mut u64;
}
Expand description

Trait for the execution counter

Required Methods§

Source

fn executions(&self) -> &u64

The executions counter

Source

fn executions_mut(&mut self) -> &mut u64

The executions counter (mutable)

Implementors§

Source§

impl<C, I, R, SC> HasExecutions for StdState<C, I, R, SC>

Source§

impl<I> HasExecutions for NopState<I>