Enum splr::types::SolverError
source · pub enum SolverError {
EmptyClause,
InvalidLiteral,
IOError,
Inconsistent,
OutOfMemory,
RootLevelConflict(ConflictContext),
TimeOut,
SolverBug,
UndescribedError,
}
Expand description
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§
source§impl Debug for SolverError
impl Debug for SolverError
source§impl Display for SolverError
impl Display for SolverError
source§impl PartialEq<SolverError> for SolverError
impl PartialEq<SolverError> for SolverError
source§fn eq(&self, other: &SolverError) -> bool
fn eq(&self, other: &SolverError) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.impl Eq for SolverError
impl StructuralEq for SolverError
impl StructuralPartialEq for SolverError
Auto Trait Implementations§
impl RefUnwindSafe for SolverError
impl Send for SolverError
impl Sync for SolverError
impl Unpin for SolverError
impl UnwindSafe for SolverError
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more