Struct TraceClocks 

pub struct TraceClocks {
    pub dest: Vec<u64>,
    pub source: Vec<u64>,
}

The tick-time model attempt_with_clocks runs a .matched end point (16.13.5) under: the simulation time of every tick of the clock of the automaton being run (dest, the clock of the context that tests the method) and of the clock of the instance the method is applied to (source). Both are strictly increasing.

Fields

dest: Vec<u64>

source: Vec<u64>

Trait Implementations

impl Clone for TraceClocks

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 TraceClocks

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

Formats the value using the given formatter.

impl Eq for TraceClocks

impl PartialEq for TraceClocks

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for TraceClocks