pub struct ExactFullConformalInterval {
pub lo: f64,
pub hi: f64,
pub set: FullConformalSet,
pub frozen_rho_certified: bool,
}Expand description
One test row’s exact full-conformal verdict: the outer [lower, upper]
envelope of the exact set, plus the frozen-ρ self-diagnostics flag.
Fields§
§lo: f64Outer envelope [min lo, max hi] of the exact (possibly multi-interval)
set, inheriting its coverage (it is a superset). Endpoints may be
infinite (honest unboundedness in low-information / high-leverage regimes).
hi: f64§set: FullConformalSetThe exact set itself (a union of intervals).
frozen_rho_certified: booltrue when freezing the global smoothing parameter is ACCEPTED under the
rho-grid Lipschitz assumption (the frozen exact set equals the honest
ρ-re-selecting set); false when the certificate REFUSED (the frozen set
may differ from the honest set and the caller should treat the envelope
as the frozen-ρ approximation, not the certified honest set).
Trait Implementations§
Source§impl Clone for ExactFullConformalInterval
impl Clone for ExactFullConformalInterval
Source§fn clone(&self) -> ExactFullConformalInterval
fn clone(&self) -> ExactFullConformalInterval
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreAuto Trait Implementations§
impl Freeze for ExactFullConformalInterval
impl RefUnwindSafe for ExactFullConformalInterval
impl Send for ExactFullConformalInterval
impl Sync for ExactFullConformalInterval
impl Unpin for ExactFullConformalInterval
impl UnsafeUnpin for ExactFullConformalInterval
impl UnwindSafe for ExactFullConformalInterval
Blanket Implementations§
impl<T> Allocation for T
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
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> DistributionExt for Twhere
T: ?Sized,
impl<T> DistributionExt for Twhere
T: ?Sized,
impl<T, U> Imply<T> for U
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 moreSource§impl<T> Pointable for T
impl<T> Pointable for T
impl<T> Read<Exclusive, BecauseExclusive> for Twhere
T: ?Sized,
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>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
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
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.