pub enum SearchFailure {
DivergenceLimitExceeded {
offset: Offset,
limit: Duration,
},
AssumptionViolated,
}
Expand description
Error type returned when a fixed point search fails.
Variants§
DivergenceLimitExceeded
No fixed point found below the given divergence threshold.
AssumptionViolated
Some analysis assumption is violated.
Trait Implementations§
Source§impl Clone for SearchFailure
impl Clone for SearchFailure
Source§fn clone(&self) -> SearchFailure
fn clone(&self) -> SearchFailure
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 Debug for SearchFailure
impl Debug for SearchFailure
Source§impl Display for SearchFailure
impl Display for SearchFailure
Source§impl Error for SearchFailure
impl Error for SearchFailure
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()
Source§impl PartialEq for SearchFailure
impl PartialEq for SearchFailure
Source§impl PartialOrd for SearchFailure
impl PartialOrd for SearchFailure
impl Copy for SearchFailure
impl Eq for SearchFailure
impl StructuralPartialEq for SearchFailure
Auto Trait Implementations§
impl Freeze for SearchFailure
impl RefUnwindSafe for SearchFailure
impl Send for SearchFailure
impl Sync for SearchFailure
impl Unpin for SearchFailure
impl UnwindSafe for SearchFailure
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> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
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