Enum SolverError

pub enum SolverError {
    EmptyClause,
    InvalidLiteral,
    IOError,
    Inconsistent,
    OutOfMemory,
    RootLevelConflict(ConflictContext),
    TimeOut,
    SolverBug,
    UndescribedError,
}

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

Variants

EmptyClause

InvalidLiteral

IOError

Inconsistent

OutOfMemory

RootLevelConflict(ConflictContext)

TimeOut

SolverBug

UndescribedError

Trait Implementations

impl Debug for SolverError

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

Formats the value using the given formatter.

impl Display for SolverError

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

Formats the value using the given formatter.

impl PartialEq for SolverError

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

impl StructuralPartialEq for SolverError