Enum Answer 

pub enum Answer {
    Unsat,
    Sat(String),
    Unknown,
}

What the solver said about one query.

Variants

Unsat

No model exists, which is the answer a discharged rule gets: nothing makes the claim false.

Sat(String)

A model exists, and here is what the solver printed of it. The rule is wrong.

Unknown

The solver gave up, usually on time. Not a failure of the rule and not a pass either.

Trait Implementations

impl Clone for Answer

fn clone(&self) -> Answer

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Answer

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

Formats the value using the given formatter.

impl Eq for Answer

impl PartialEq for Answer

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Answer