Enum SolverServiceStatus 

pub enum SolverServiceStatus {
    Sat,
    Unsat,
    Unknown,
    Timeout,
    Optimal(u64),
}

Status returned by the solver-service interface.

Variants

Sat

The hard constraints are satisfiable.

Unsat

The hard constraints are unsatisfiable.

Unknown

Search was not attempted or no authoritative backend is available.

Timeout

Search was bounded before any assignment could be inspected.

Optimal(u64)

MaxSAT optimum as an integer score.

Trait Implementations

impl Clone for SolverServiceStatus

fn clone(&self) -> SolverServiceStatus

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SolverServiceStatus

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

Formats the value using the given formatter.

impl PartialEq for SolverServiceStatus

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

impl StructuralPartialEq for SolverServiceStatus