Enum Verdict 

pub enum Verdict {
    Entailed,
    NotEntailed,
}

A certified propositional entailment verdict.

Variants

Entailed

premises ⊨ goal, and an independent RUP replay confirmed the refutation.

NotEntailed

premises ⊭ goal (the solver found a model of premises ∧ ¬goal).

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 PartialEq for Verdict

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for Verdict

impl Eq for Verdict

impl StructuralPartialEq for Verdict