pub enum ScoreSearchError<E> {
InvalidDomain {
lo: f64,
hi: f64,
},
InvalidResolution {
resolution: f64,
},
PointEvaluation {
x: f64,
source: E,
},
EnclosureEvaluation {
lo: f64,
hi: f64,
source: E,
},
NonFiniteSample {
sample: ScoreSample,
},
InvalidEnclosure {
lo: f64,
hi: f64,
enclosure: DerivativeEnclosure,
},
ScoreValueEnclosureMissesEndpoint {
lo: f64,
hi: f64,
endpoint: ScoreSample,
score: ScoreValueEnclosure,
},
DisjointEndpointEnclosure {
lo: f64,
hi: f64,
endpoint: ScoreSample,
endpoint_derivative: ClosedInterval,
enclosure: DerivativeEnclosure,
},
InconsistentRootEnclosure {
lo: f64,
hi: f64,
left_derivative: ClosedInterval,
right_derivative: ClosedInterval,
curvature: ClosedInterval,
left_newton: ClosedInterval,
right_newton: ClosedInterval,
point_newton: ClosedInterval,
},
Unresolved {
lo: f64,
hi: f64,
requested_resolution: f64,
enclosure: DerivativeEnclosure,
},
SubdivisionBudget {
lo: f64,
hi: f64,
cell_lo: f64,
cell_hi: f64,
requested_resolution: f64,
subdivisions: usize,
budget: usize,
depth_bound: u32,
enclosure: DerivativeEnclosure,
},
}Expand description
Failure of the generic certified search.
Variants§
InvalidDomain
InvalidResolution
PointEvaluation
EnclosureEvaluation
NonFiniteSample
Fields
sample: ScoreSampleInvalidEnclosure
ScoreValueEnclosureMissesEndpoint
DisjointEndpointEnclosure
InconsistentRootEnclosure
Independent interval-Newton images of a root that was already proved unique have empty intersection. This is a contradiction between certificates, not an unresolved search cell.
Fields
left_derivative: ClosedIntervalright_derivative: ClosedIntervalcurvature: ClosedIntervalleft_newton: ClosedIntervalright_newton: ClosedIntervalpoint_newton: ClosedIntervalUnresolved
Neither stationary exclusion/isolation nor score flatness could be proved before the requested or floating-point abscissa-resolution floor.
SubdivisionBudget
The traversal asked for more cell subdivisions than
subdivision_budget allows for this domain and resolution. Reported
with the cell that was being split when the budget ran out, so the
caller can see WHERE the criterion stopped being decomposable, and with
that cell’s enclosure, so the caller can see WHETHER a larger budget
could ever have helped: once the certified evaluation error reaches the
requested resolution, no amount of subdivision separates stationary
structure at that tolerance (#2614).
Trait Implementations§
Source§impl<E: Debug> Debug for ScoreSearchError<E>
impl<E: Debug> Debug for ScoreSearchError<E>
Source§impl<E: Display> Display for ScoreSearchError<E>
impl<E: Display> Display for ScoreSearchError<E>
Source§impl<E: Error + 'static> Error for ScoreSearchError<E>
impl<E: Error + 'static> Error for ScoreSearchError<E>
1.30.0 · Source§fn source(&self) -> Option<&(dyn Error + 'static)>
fn source(&self) -> Option<&(dyn Error + 'static)>
1.0.0 · Source§fn description(&self) -> &str
fn description(&self) -> &str
use the Display impl or to_string()
Auto Trait Implementations§
impl<E> Freeze for ScoreSearchError<E>where
E: Freeze,
impl<E> RefUnwindSafe for ScoreSearchError<E>where
E: RefUnwindSafe,
impl<E> Send for ScoreSearchError<E>where
E: Send,
impl<E> Sync for ScoreSearchError<E>where
E: Sync,
impl<E> Unpin for ScoreSearchError<E>where
E: Unpin,
impl<E> UnsafeUnpin for ScoreSearchError<E>where
E: UnsafeUnpin,
impl<E> UnwindSafe for ScoreSearchError<E>where
E: 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
Source§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
Source§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
self from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
self is actually part of its subset T (and can be converted to it).Source§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
self.to_subset but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
self to the equivalent element of its superset.