pub enum LogicError {
InvalidConstraint(String),
ConstraintViolation {
constraint: String,
value: f32,
bound: String,
},
ProjectionFailed(String),
DimensionMismatch {
expected: usize,
got: usize,
},
InvalidInput(String),
InfeasibleConstraint(String),
CoreError(CoreError),
}Expand description
Errors that can occur in the logic module
Variants§
InvalidConstraint(String)
ConstraintViolation
ProjectionFailed(String)
DimensionMismatch
InvalidInput(String)
InfeasibleConstraint(String)
CoreError(CoreError)
Trait Implementations§
Source§impl Debug for LogicError
impl Debug for LogicError
Source§impl Display for LogicError
impl Display for LogicError
Source§impl Error for LogicError
impl Error for LogicError
Source§fn source(&self) -> Option<&(dyn Error + 'static)>
fn source(&self) -> Option<&(dyn Error + 'static)>
Returns the lower-level source of this error, if any. Read more
1.0.0 · Source§fn description(&self) -> &str
fn description(&self) -> &str
👎Deprecated since 1.42.0: use the Display impl or to_string()
Auto Trait Implementations§
impl Freeze for LogicError
impl !RefUnwindSafe for LogicError
impl Send for LogicError
impl Sync for LogicError
impl Unpin for LogicError
impl !UnwindSafe for LogicError
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
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more