Struct InvariantLedger 

pub struct InvariantLedger<R> { /* private fields */ }

Complete invariant bundle for one selected reading.

Implementations

impl<R> InvariantLedger<R>

pub fn new(entries: Vec<InvariantLedgerEntry<R>>) -> Self

Creates one immutable invariant ledger.

pub fn entries(&self) -> &[InvariantLedgerEntry<R>]

Returns the recorded invariant entries in stable rule order.

pub fn is_preserved(&self, invariant_id: &str) -> bool

Returns true when the named invariant is present and preserved.

pub fn is_relaxed(&self, invariant_id: &str) -> bool

Returns true when the named invariant is present and relaxed.

Trait Implementations

impl<R: Clone> Clone for InvariantLedger<R>

fn clone(&self) -> InvariantLedger<R>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<R: Debug> Debug for InvariantLedger<R>

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

Formats the value using the given formatter.

impl<R: Eq> Eq for InvariantLedger<R>

impl<R: PartialEq> PartialEq for InvariantLedger<R>

fn eq(&self, other: &InvariantLedger<R>) -> bool

Equality operator ==.

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

Inequality operator !=.

impl<R: PartialEq> StructuralPartialEq for InvariantLedger<R>