pub struct Interval {
pub belief: f64,
pub plausibility: f64,
}Expand description
The evidential bound on a claim: [belief, plausibility].
Two numbers rather than one, because a single probability cannot separate a contested claim from an
unexamined one — both come out near the middle. See the module docs of crate::evidence.
Fields§
§belief: f64evidence positively supporting the claim — the floor
plausibility: f64evidence not ruling it out — the ceiling
Implementations§
Source§impl Interval
impl Interval
Sourcepub fn ignorance(&self) -> f64
pub fn ignorance(&self) -> f64
The width of the interval: how much the corpus simply does not say.
Sourcepub fn is_certain(&self) -> bool
pub fn is_certain(&self) -> bool
Established: supported and unrefuted.
Sourcepub fn is_refuted(&self) -> bool
pub fn is_refuted(&self) -> bool
Refuted: nothing supports it and something rules it out.
Sourcepub fn is_unknown(&self) -> bool
pub fn is_unknown(&self) -> bool
Nobody said: no support, nothing against.
Trait Implementations§
impl Copy for Interval
impl StructuralPartialEq for Interval
Auto Trait Implementations§
impl Freeze for Interval
impl RefUnwindSafe for Interval
impl Send for Interval
impl Sync for Interval
impl Unpin for Interval
impl UnsafeUnpin for Interval
impl UnwindSafe for Interval
Blanket Implementations§
impl<T> Boilerplate 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,
impl<T> ErasedDestructor for Twhere
T: 'static,
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 moreCreates a shared type from an unshared type.