Struct SourceEvidence 

pub struct SourceEvidence { /* private fields */ }

The bounded, canonical source premises one result reports.

Implementations

impl SourceEvidence

pub fn try_new(pins: Vec<SourcePin>) -> Result<Self, ModelError>

Bounds and canonicalizes one complete source vector.

Errors

Returns ModelError::Bounds past MAX_SOURCE_PINS, and ModelError::Order when the pins are not strictly ascending by identity. A duplicate source is an out-of-order pin, never a silent collapse.

pub fn pins(&self) -> &[SourcePin]

Returns every exact source premise in canonical order.

Trait Implementations

impl Clone for SourceEvidence

fn clone(&self) -> SourceEvidence

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SourceEvidence

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

Formats the value using the given formatter.

impl Eq for SourceEvidence

impl PartialEq for SourceEvidence

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SourceEvidence