pub enum ErrorType {
Success = 0,
Runtime = 1,
Logic = 2,
BadAlloc = 3,
Unknown = 4,
}
Expand description
Enumeration of clingo error types See: set_error()
Variants§
Success = 0
Successful API calls
Runtime = 1
Errors only detectable at runtime like invalid input
Logic = 2
Wrong usage of the clingo API
BadAlloc = 3
Memory could not be allocated
Unknown = 4
Errors unrelated to clingo
Trait Implementations§
Auto Trait Implementations§
impl RefUnwindSafe for ErrorType
impl Send for ErrorType
impl Sync for ErrorType
impl Unpin for ErrorType
impl UnwindSafe for ErrorType
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