pub enum BindingNotion {
Representational,
Computational,
}Expand description
Which binding notion a carve report speaks about (see module docs).
The two are independent, and which of them a given adjudication ran is
carried in the answer rather than assumed: fission_decision returns
FissionDecision::SplitReconstructionOnly exactly when only the
representational carve was supplied, and
FissionDecision::SplitCertifiedJoint only when both ran and both
allow the split. So a caller that has no pulled-back readout coefficients
still gets a correct, self-describing verdict — it just is not the joint
one, and the enum says so.
Variants§
Representational
Decoder non-additivity: does the surface EMBED as two atoms?
Computational
Pulled-back readout non-additivity: does the model USE the two
coordinates jointly? (Coefficients come from fitting the same
tensor basis to h = F(g) via the #980 output-Fisher harvest.)
Trait Implementations§
Source§impl Clone for BindingNotion
impl Clone for BindingNotion
Source§fn clone(&self) -> BindingNotion
fn clone(&self) -> BindingNotion
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreimpl Copy for BindingNotion
Source§impl Debug for BindingNotion
impl Debug for BindingNotion
impl Eq for BindingNotion
Source§impl PartialEq for BindingNotion
impl PartialEq for BindingNotion
impl StructuralPartialEq for BindingNotion
Auto Trait Implementations§
impl Freeze for BindingNotion
impl RefUnwindSafe for BindingNotion
impl Send for BindingNotion
impl Sync for BindingNotion
impl Unpin for BindingNotion
impl UnsafeUnpin for BindingNotion
impl UnwindSafe for BindingNotion
Blanket Implementations§
impl<T> Allocation for T
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
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,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
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> ⓘ
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> ⓘ
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,
impl<T> Scalar for 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.