Enum ipasir::SolverErrorKind

pub enum SolverErrorKind {
    Lit(InvalidLitVal),
    Response(ResponseError),
    InvalidSolverState,
}

A kind of a SAT solver error.

Variants

Lit(InvalidLitVal)

A literal value was invalid.

Response(ResponseError)

Encountered when calling an invalid FFI IPASIR solver.

InvalidSolverState

Returned when a solver was called in an invalid solver state.

Note

This cannot be communicated by C ffi SAT solvers.

Trait Implementations

impl Eq for SolverErrorKind

impl PartialEq<SolverErrorKind> for SolverErrorKind

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl Clone for SolverErrorKind

fn clone(&self) -> SolverErrorKind

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SolverErrorKind

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

Formats the value using the given formatter.