Enum LogInd 

pub enum LogInd<V> {
    Ordered {
        position: Position,
        from: NodeId,
        value: V,
    },
    Contents {
        from: Position,
        entries: Vec<V>,
    },
    Boundary(Boundary),
}

What an indication from any totally ordered log amounts to, in the port’s own vocabulary.

A layer above matches on this rather than on the implementation’s own indication type, which is how one suite serves every implementation.

Variants

Ordered

An entry took its place in the agreed sequence, at position, having been appended by from.

from is the process that appended it, which the page carries as ⟨ tob, Deliver | s, m ⟩ and which a checker needs in order to say whose operation completed.

Fields

position: Position

from: NodeId

value: V

Contents

The answer to a read: the entries at from and later, in order.

Fields

from: Position

entries: Vec<V>

Boundary(Boundary)

A scope that part of this log’s guarantee held within has changed.

Reachable only over a link that can observe one. A log composing a reliable broadcast inherits that broadcast’s inability to bridge an ending — it holds no redundancy outliving the scope beyond what consensus gives it — so it propagates rather than absorbing.

Trait Implementations

impl<V: Clone> Clone for LogInd<V>

fn clone(&self) -> LogInd<V>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<V: Debug> Debug for LogInd<V>

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

Formats the value using the given formatter.

impl<V: Eq> Eq for LogInd<V>

impl<V: PartialEq> PartialEq for LogInd<V>

fn eq(&self, other: &LogInd<V>) -> bool

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<V: PartialEq> StructuralPartialEq for LogInd<V>