Struct StepRecord 

pub struct StepRecord {
    pub attempt: u64,
    pub index: u64,
    pub time: u64,
    pub matched: Vec<LeafId>,
    pub outcome: StepOutcome,
}

One step of an attempt whose stepping VPI enabled (39.4.2, 39.5.2): the progress the newest clock tick made.

Fields

attempt: u64

The attempt’s ordinal.

index: u64

How many of the attempt’s ticks came before this one (0: its first).

time: u64

The time step of the tick.

matched: Vec<LeafId>

The leaves read at this tick that held, in read order, each once; for a StepOutcome::Fail, the leaf the attempt failed on last.

outcome: StepOutcome

Trait Implementations

impl Clone for StepRecord

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StepRecord

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

Formats the value using the given formatter.

impl Eq for StepRecord

impl PartialEq for StepRecord

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for StepRecord