Enum splr::types::SolverError [−][src]
pub enum SolverError { IOError, Inconsistent, OutOfMemory, OutOfRange, RootLevelConflict(Option<ClauseId>), TimeOut, SolverBug, UndescribedError, }
Expand description
Internal errors.
Note: returning Result<(), a-singleton>
is identical to returning bool
.
Variants
Trait Implementations
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
This method tests for !=
.