pub enum ForwardOperatorError<F> {
FormulaError(F),
EmptySubtraceEvaluation(Interval),
EmptyInterval,
}Expand description
Error produced during the evaluation of a forward operator.
This error represents the following error conditions while evaluating a forward operator:
- An error was encountered during the evaluation of the subformula
- The evaluation bounds for the operator resulted in a sub-trace with no elements
- The evaluation bounds for the operator create a zero-length interval
Variants§
Trait Implementations§
Source§impl<F: Clone> Clone for ForwardOperatorError<F>
impl<F: Clone> Clone for ForwardOperatorError<F>
Source§fn clone(&self) -> ForwardOperatorError<F>
fn clone(&self) -> ForwardOperatorError<F>
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl<F: Debug> Debug for ForwardOperatorError<F>
impl<F: Debug> Debug for ForwardOperatorError<F>
Source§impl<F> Display for ForwardOperatorError<F>where
F: Display,
impl<F> Display for ForwardOperatorError<F>where
F: Display,
Source§impl<F> Error for ForwardOperatorError<F>
impl<F> Error for ForwardOperatorError<F>
1.30.0 · 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<F> Freeze for ForwardOperatorError<F>where
F: Freeze,
impl<F> RefUnwindSafe for ForwardOperatorError<F>where
F: RefUnwindSafe,
impl<F> Send for ForwardOperatorError<F>where
F: Send,
impl<F> Sync for ForwardOperatorError<F>where
F: Sync,
impl<F> Unpin for ForwardOperatorError<F>where
F: Unpin,
impl<F> UnwindSafe for ForwardOperatorError<F>where
F: UnwindSafe,
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