Enum Verdict 

pub enum Verdict<T> {
    Proven {
        cases: u64,
    },
    Refuted {
        counterexample: T,
        checked: u64,
    },
}

The outcome of a proof attempt over a domain.

Variants

Proven

The predicate held for every one of cases inputs — a proof over the domain.

Fields

cases: u64

Refuted

The predicate failed; counterexample is the input that broke it, after checked passing inputs.

Fields

counterexample: T

checked: u64

Implementations

impl<T> Verdict<T>

pub fn is_proven(&self) -> bool

pub fn cases(&self) -> u64

Inputs examined (all of them on Proven; the ones that passed before the failure on Refuted).

pub fn counterexample(&self) -> Option<&T>

Trait Implementations

impl<T: Clone> Clone for Verdict<T>

fn clone(&self) -> Verdict<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for Verdict<T>

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

Formats the value using the given formatter.

impl<T: Eq> Eq for Verdict<T>

impl<T: PartialEq> PartialEq for Verdict<T>

fn eq(&self, other: &Verdict<T>) -> bool

Equality operator ==.

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

Inequality operator !=.

impl<T: PartialEq> StructuralPartialEq for Verdict<T>