Enum SolverResultKind 

pub enum SolverResultKind {
    Unsat,
    Sat,
    Unknown,
}

Solver result kind (mirrors crate::solver::CheckOutcome).

Variants

Unsat

Unsat of the negated equivalence — selection is correct.

Sat

Sat of the negated equivalence — counterexample found.

Unknown

Solver returned unknown (timeout or unsupported theory).

Trait Implementations

impl Clone for SolverResultKind

fn clone(&self) -> SolverResultKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SolverResultKind

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

Formats the value using the given formatter.

impl Eq for SolverResultKind

impl PartialEq for SolverResultKind

fn eq(&self, other: &SolverResultKind) -> 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 StructuralPartialEq for SolverResultKind