Enum splr::types::SolverError

pub enum SolverError {
    IOError,
    Inconsistent,
    NullLearnt,
    OutOfMemory,
    OutOfRange,
    TimeOut,
    SolverBug,
    UndescribedError,
}

Internal errors. Note: returning Result<(), a-singleton> is identical to returning bool.

Variants

IOError

Inconsistent

NullLearnt

OutOfMemory

OutOfRange

TimeOut

SolverBug

UndescribedError

Trait Implementations

impl Debug for SolverError

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

Formats the value using the given formatter.

impl Display for SolverError

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

Formats the value using the given formatter.

impl Eq for SolverError

impl PartialEq<SolverError> for SolverError

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

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

#[must_use]pub fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl StructuralEq for SolverError

impl StructuralPartialEq for SolverError