Enum MarkerProvenance 

pub enum MarkerProvenance {
    NonProductM,
    TerminalProduct {
        terminal: TerminalProductSource,
        affected_participant: ParticipantId,
    },
    ExitProduct {
        exit_participant: ParticipantId,
        remaining_participant: ParticipantId,
    },
}

Immutable origin of one planned or appended marker value.

Variants

NonProductM

Marker was planned directly by an optional floor transition.

TerminalProduct

Marker was conditionally reserved by a terminal product.

Fields

terminal: TerminalProductSource

Exact causal terminal source.

affected_participant: ParticipantId

Permanent affected participant index.

ExitProduct

Marker was conditionally reserved by a membership-exit product.

Fields

exit_participant: ParticipantId

Exiting participant whose E claim caused the product.

remaining_participant: ParticipantId

Remaining participant the possible marker protects.

Implementations

impl MarkerProvenance

pub const fn terminal_product( terminal: TerminalProductSource, affected_participant: ParticipantId, ) -> Self

Names one conditional terminal-product marker provenance.

pub const fn exit_product( exit_participant: ParticipantId, remaining_participant: ParticipantId, ) -> Self

Names one conditional membership-exit-product marker provenance.

Trait Implementations

impl Clone for MarkerProvenance

fn clone(&self) -> MarkerProvenance

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for MarkerProvenance

impl Debug for MarkerProvenance

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

Formats the value using the given formatter.

impl Eq for MarkerProvenance

impl PartialEq for MarkerProvenance

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for MarkerProvenance