Trait SolverState 

pub trait SolverState {
    // Required methods
    fn is_sat(&self) -> bool;
    fn is_unsat(&self) -> bool;
    fn is_unknown(&self) -> bool;
}

This trait provides an abstraction for a solver state.

Invariant: exactly one of Self::is_sat, Self::is_unsat, and Self::is_unknown should be true.

Required Methods

fn is_sat(&self) -> bool

fn is_unsat(&self) -> bool

fn is_unknown(&self) -> bool

Implementors