pub enum GeneratorFamily {
IsomAtom,
EqualArdRotation,
FrameRotation,
AtomPermutation,
ChartReparameterization,
}Expand description
Which symmetry family a generator belongs to. Carried per-generator so the report names the group the residual freedom (or pin) lives in.
Variants§
IsomAtom
A generator of Isom(M_k) for a single atom (frame rotation/reflection
realising the atom’s own manifold isometry).
EqualArdRotation
A rotation inside an ARD-equal eigenspace (the ARD prior cannot distinguish the two axes, so the prior does not pin this rotation).
FrameRotation
A rotation of the global decoder output frame O(output_dim).
AtomPermutation
An exchange of two topology-identical atoms (Sym(F) permutation, built
as the antisymmetric transposition direction).
ChartReparameterization
The continuous chart (reparameterization) freedom Diff(M_k) of one
d = 1 atom (arc-length canonicalization) or d = 2 torus atom
(isometry-flow canonicalization, #1019 stage 2). Always reported
pinned with
VerdictProvenance::PinnedByCanonicalization; the verdict’s
description names the surviving residual group (rotation + reflection
on S¹, reflection + translation on the interval, or Isom(T², flat) = U(1)² ⋊ D₄ for a d = 2 torus).
Trait Implementations§
Source§impl Clone for GeneratorFamily
impl Clone for GeneratorFamily
Source§fn clone(&self) -> GeneratorFamily
fn clone(&self) -> GeneratorFamily
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 GeneratorFamily
Source§impl Debug for GeneratorFamily
impl Debug for GeneratorFamily
impl Eq for GeneratorFamily
Source§impl PartialEq for GeneratorFamily
impl PartialEq for GeneratorFamily
Source§fn eq(&self, other: &GeneratorFamily) -> bool
fn eq(&self, other: &GeneratorFamily) -> bool
self and other values to be equal, and is used by ==.impl StructuralPartialEq for GeneratorFamily
Auto Trait Implementations§
impl Freeze for GeneratorFamily
impl RefUnwindSafe for GeneratorFamily
impl Send for GeneratorFamily
impl Sync for GeneratorFamily
impl Unpin for GeneratorFamily
impl UnsafeUnpin for GeneratorFamily
impl UnwindSafe for GeneratorFamily
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.