Enum Verdict 

pub enum Verdict {
    Discharged,
    Refuted(String),
    Bounded {
        widths: Vec<u32>,
        why: String,
    },
    Unknown,
}

What became of one rule.

Variants

Discharged

Nothing makes the claim false.

Refuted(String)

Something does, and this is what the solver printed of it.

Bounded

The claim holds at every width narrower than the rule’s own, and the rule carries a written reason for taking that as enough. A pass, and a counted one.

Fields

widths: Vec<u32>

The widths it was proved at, narrowest first.

why: String

The reason the rule gives, which is what a reviewer signed for.

Unknown

The solver gave up. Not a pass.

Implementations

impl Verdict

pub fn accepted(&self) -> bool

Whether a rule with this verdict may enter the rule set.

pub fn refusal(&self) -> Option<String>

Why it may not, as a sentence, or nothing when it may.

Trait Implementations

impl Clone for Verdict

fn clone(&self) -> Verdict

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Verdict

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

Formats the value using the given formatter.

impl Eq for Verdict

impl PartialEq for Verdict

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Verdict