#[non_exhaustive]pub enum Evidence<'a> {
Positions(&'a [PointFeature]),
Oriented1(&'a [OrientedFeature<1>]),
Oriented2(&'a [OrientedFeature<2>]),
Oriented3(&'a [OrientedFeature<3>]),
CoordinateHypotheses {
features: &'a [PointFeature],
hypotheses: &'a [CoordinateHypothesis],
},
}Expand description
Evidence supplied to a detection task.
Variants (Non-exhaustive)§
This enum is marked as non-exhaustive
Positions(&'a [PointFeature])
Position-only point features.
Oriented1(&'a [OrientedFeature<1>])
Point features with one local lattice direction. Supported for
Square: the orthogonal direction is synthesized from neighbour
geometry (crate::orient::synthesize_oriented2_from_oriented1).
Oriented2(&'a [OrientedFeature<2>])
Point features with two local lattice directions — the native square input shape consumed by both algorithms.
Oriented3(&'a [OrientedFeature<3>])
Point features with three local lattice directions. Hex-native
evidence: a hexagonal lattice has three axis families, and a feature
detector that recovers all three feeds them here. The hex detection
path is the intended consumer; until a detector consumes it this stays
GridError::UnsupportedCombination.
CoordinateHypotheses
Point features plus caller-supplied coordinate hypotheses. Roadmap
slot for decode-feedback labelling: a caller that has partially
decoded marker / ring IDs supplies them as (source_index, coord)
hypotheses to bias or seed the labelling. No detection algorithm
consumes hypotheses yet, so this stays
GridError::UnsupportedCombination; the
check_consistency task is the only
current consumer of crate::feature::CoordinateHypothesis.
Fields
features: &'a [PointFeature]Position-only features.
hypotheses: &'a [CoordinateHypothesis]Proposed coordinate labels.
Implementations§
Trait Implementations§
Auto Trait Implementations§
impl<'a> Freeze for Evidence<'a>
impl<'a> RefUnwindSafe for Evidence<'a>
impl<'a> Send for Evidence<'a>
impl<'a> Sync for Evidence<'a>
impl<'a> Unpin for Evidence<'a>
impl<'a> UnsafeUnpin for Evidence<'a>
impl<'a> UnwindSafe for Evidence<'a>
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<T> CheckedAs for T
impl<T> CheckedAs for T
Source§fn checked_as<Dst>(self) -> Option<Dst>where
T: CheckedCast<Dst>,
fn checked_as<Dst>(self) -> Option<Dst>where
T: CheckedCast<Dst>,
Source§impl<Src, Dst> CheckedCastFrom<Src> for Dstwhere
Src: CheckedCast<Dst>,
impl<Src, Dst> CheckedCastFrom<Src> for Dstwhere
Src: CheckedCast<Dst>,
Source§fn checked_cast_from(src: Src) -> Option<Dst>
fn checked_cast_from(src: Src) -> Option<Dst>
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
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<Src, Dst> LosslessTryInto<Dst> for Srcwhere
Dst: LosslessTryFrom<Src>,
impl<Src, Dst> LosslessTryInto<Dst> for Srcwhere
Dst: LosslessTryFrom<Src>,
Source§fn lossless_try_into(self) -> Option<Dst>
fn lossless_try_into(self) -> Option<Dst>
Source§impl<Src, Dst> LossyInto<Dst> for Srcwhere
Dst: LossyFrom<Src>,
impl<Src, Dst> LossyInto<Dst> for Srcwhere
Dst: LossyFrom<Src>,
Source§fn lossy_into(self) -> Dst
fn lossy_into(self) -> Dst
Source§impl<T> OverflowingAs for T
impl<T> OverflowingAs for T
Source§fn overflowing_as<Dst>(self) -> (Dst, bool)where
T: OverflowingCast<Dst>,
fn overflowing_as<Dst>(self) -> (Dst, bool)where
T: OverflowingCast<Dst>,
Source§impl<Src, Dst> OverflowingCastFrom<Src> for Dstwhere
Src: OverflowingCast<Dst>,
impl<Src, Dst> OverflowingCastFrom<Src> for Dstwhere
Src: OverflowingCast<Dst>,
Source§fn overflowing_cast_from(src: Src) -> (Dst, bool)
fn overflowing_cast_from(src: Src) -> (Dst, bool)
Source§impl<T> SaturatingAs for T
impl<T> SaturatingAs for T
Source§fn saturating_as<Dst>(self) -> Dstwhere
T: SaturatingCast<Dst>,
fn saturating_as<Dst>(self) -> Dstwhere
T: SaturatingCast<Dst>,
Source§impl<Src, Dst> SaturatingCastFrom<Src> for Dstwhere
Src: SaturatingCast<Dst>,
impl<Src, Dst> SaturatingCastFrom<Src> for Dstwhere
Src: SaturatingCast<Dst>,
Source§fn saturating_cast_from(src: Src) -> Dst
fn saturating_cast_from(src: Src) -> Dst
Source§impl<T> StrictAs for T
impl<T> StrictAs for T
Source§fn strict_as<Dst>(self) -> Dstwhere
T: StrictCast<Dst>,
fn strict_as<Dst>(self) -> Dstwhere
T: StrictCast<Dst>,
Source§impl<Src, Dst> StrictCastFrom<Src> for Dstwhere
Src: StrictCast<Dst>,
impl<Src, Dst> StrictCastFrom<Src> for Dstwhere
Src: StrictCast<Dst>,
Source§fn strict_cast_from(src: Src) -> Dst
fn strict_cast_from(src: Src) -> Dst
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.