Struct Applicability 

pub struct Applicability {
    pub applicable: usize,
    pub inapplicable: usize,
    pub unresolved: usize,
}

How an Action’s when predicate divides the rows it would operate on, once a [[repo]] exclude = true has already been subtracted: three counts and no verdict.

Unresolved is its own count rather than a share of either other one, because a Repo whose Cells have not settled is unprovable rather than inapplicable, and folding it into either side is ADR 0001’s absent value becoming a zero one abstraction up.

Fields

applicable: usize

Rows the predicate proved.

inapplicable: usize

Rows the predicate disproved.

unresolved: usize

Rows the predicate could settle neither way, because a Cell it reads has not settled.

Implementations

impl Applicability

pub fn total(self) -> usize

Every row counted, whichever way it fell: the same number the excluded-row subtraction produced, since when narrows that count rather than replacing it.

Trait Implementations

impl Clone for Applicability

fn clone(&self) -> Applicability

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Applicability

impl Debug for Applicability

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

Formats the value using the given formatter.

impl Default for Applicability

fn default() -> Applicability

Returns the “default value” for a type.

impl Eq for Applicability

impl PartialEq for Applicability

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Applicability