Struct ValidatedMovingSpatialContextV2
pub struct ValidatedMovingSpatialContextV2<'a, M, R = RealizationEnvelopeV4>{ /* private fields */ }Description
Replayed common resources for fixed-topology moving spatial observations.
The context is deliberately borrowed and non-serializable. It validates the
exact Model, ALE Realization, reference Geometry Identity, correspondence,
immutable mesh, and complete represented-Field inventory once. Current
coordinates remain properties of individual
ReplayableFixedTopologyGeometryStateArtifact dependencies rather than
mutable context state.
Implementations§
§impl<'a, M, R> ValidatedMovingSpatialContextV2<'a, M, R>where
M: ReplayableCanonicalModelArtifact,
R: ReplayableFixedTopologyAleRealizationArtifact,
impl<'a, M, R> ValidatedMovingSpatialContextV2<'a, M, R>where
M: ReplayableCanonicalModelArtifact,
R: ReplayableFixedTopologyAleRealizationArtifact,
pub fn new(
model: &'a M,
realization: &'a R,
geometry: &'a GeometryIdentityEnvelopeV1,
correspondence: &'a GeometryMeshCorrespondenceEnvelopeV1,
mesh: &'a SimplicialMeshEnvelopeV1,
) -> Result<ValidatedMovingSpatialContextV2<'a, M, R>, Diagnostic>
pub fn new( model: &'a M, realization: &'a R, geometry: &'a GeometryIdentityEnvelopeV1, correspondence: &'a GeometryMeshCorrespondenceEnvelopeV1, mesh: &'a SimplicialMeshEnvelopeV1, ) -> Result<ValidatedMovingSpatialContextV2<'a, M, R>, Diagnostic>
Replay and cross-validate one exact moving-spatial common context.
§Errors
Returns EQ0901 for Model, Realization, reference geometry,
correspondence, mesh, or represented-Field drift.
pub const fn model_reference(&self) -> &ModelArtifactReference
pub const fn model_reference(&self) -> &ModelArtifactReference
Exact selected Model identity and semantic revision.
pub const fn program(&self) -> &KernelProgram
pub const fn program(&self) -> &KernelProgram
Completely replayed immutable Semantic Kernel projection.
pub const fn realization(&self) -> &'a R
pub const fn realization(&self) -> &'a R
Exact fixed-topology ALE Realization.
pub const fn geometry(&self) -> &'a GeometryIdentityEnvelopeV1
pub const fn geometry(&self) -> &'a GeometryIdentityEnvelopeV1
Exact reference Geometry Identity.
pub const fn correspondence(&self) -> &'a GeometryMeshCorrespondenceEnvelopeV1
pub const fn correspondence(&self) -> &'a GeometryMeshCorrespondenceEnvelopeV1
Exact reference geometry-to-mesh correspondence.
pub const fn mesh(&self) -> &'a SimplicialMeshEnvelopeV1
pub const fn mesh(&self) -> &'a SimplicialMeshEnvelopeV1
Exact immutable reference mesh.
pub fn represented_fields(&self) -> &[RepresentedPhysicalField]
pub fn represented_fields(&self) -> &[RepresentedPhysicalField]
Canonically ordered complete physical Field inventory.
Trait Implementations§
§impl<'a, M, R> Debug for ValidatedMovingSpatialContextV2<'a, M, R>where
M: Debug + ReplayableCanonicalModelArtifact,
R: Debug + ReplayableFixedTopologyAleRealizationArtifact,
impl<'a, M, R> Debug for ValidatedMovingSpatialContextV2<'a, M, R>where
M: Debug + ReplayableCanonicalModelArtifact,
R: Debug + ReplayableFixedTopologyAleRealizationArtifact,
Auto Trait Implementations§
impl<'a, M, R> Freeze for ValidatedMovingSpatialContextV2<'a, M, R>
impl<'a, M, R> RefUnwindSafe for ValidatedMovingSpatialContextV2<'a, M, R>where
M: RefUnwindSafe,
R: RefUnwindSafe,
impl<'a, M, R> Send for ValidatedMovingSpatialContextV2<'a, M, R>
impl<'a, M, R> Sync for ValidatedMovingSpatialContextV2<'a, M, R>
impl<'a, M, R> Unpin for ValidatedMovingSpatialContextV2<'a, M, R>
impl<'a, M, R> UnsafeUnpin for ValidatedMovingSpatialContextV2<'a, M, R>
impl<'a, M, R> UnwindSafe for ValidatedMovingSpatialContextV2<'a, M, R>where
M: RefUnwindSafe,
R: RefUnwindSafe,
Blanket Implementations§
Source§impl<T> Any for Twhere
T: 'static + ?Sized,
impl<T> Any for Twhere
T: 'static + ?Sized,
§impl<Src, Scheme> ApproxFrom<Src, Scheme> for Srcwhere
Scheme: ApproxScheme,
impl<Src, Scheme> ApproxFrom<Src, Scheme> for Srcwhere
Scheme: ApproxScheme,
§fn approx_from(src: Src) -> Result<Src, <Src as ApproxFrom<Src, Scheme>>::Err>
fn approx_from(src: Src) -> Result<Src, <Src as ApproxFrom<Src, Scheme>>::Err>
§impl<Dst, Src, Scheme> ApproxInto<Dst, Scheme> for Srcwhere
Dst: ApproxFrom<Src, Scheme>,
Scheme: ApproxScheme,
impl<Dst, Src, Scheme> ApproxInto<Dst, Scheme> for Srcwhere
Dst: ApproxFrom<Src, Scheme>,
Scheme: ApproxScheme,
§type Err = <Dst as ApproxFrom<Src, Scheme>>::Err
type Err = <Dst as ApproxFrom<Src, Scheme>>::Err
§fn approx_into(self) -> Result<Dst, <Src as ApproxInto<Dst, Scheme>>::Err>
fn approx_into(self) -> Result<Dst, <Src as ApproxInto<Dst, Scheme>>::Err>
Source§impl<T> Borrow<T> for Twhere
T: ?Sized,
impl<T> Borrow<T> for Twhere
T: ?Sized,
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<T, Dst> ConvAsUtil<Dst> for T
impl<T, Dst> ConvAsUtil<Dst> for T
§fn approx(self) -> Result<Dst, Self::Err>where
Self: Sized + ApproxInto<Dst>,
fn approx(self) -> Result<Dst, Self::Err>where
Self: Sized + ApproxInto<Dst>,
§impl<T> ConvUtil for T
impl<T> ConvUtil for T
§fn approx_as<Dst>(self) -> Result<Dst, Self::Err>where
Self: Sized + ApproxInto<Dst>,
fn approx_as<Dst>(self) -> Result<Dst, Self::Err>where
Self: Sized + ApproxInto<Dst>,
§fn approx_as_by<Dst, Scheme>(self) -> Result<Dst, Self::Err>where
Self: Sized + ApproxInto<Dst, Scheme>,
Scheme: ApproxScheme,
fn approx_as_by<Dst, Scheme>(self) -> Result<Dst, Self::Err>where
Self: Sized + ApproxInto<Dst, Scheme>,
Scheme: ApproxScheme,
§fn into_as<Dst>(self) -> Dstwhere
Self: Sized + Into<Dst>,
fn into_as<Dst>(self) -> Dstwhere
Self: Sized + Into<Dst>,
§fn try_as<Dst>(self) -> Result<Dst, Self::Err>where
Self: Sized + TryInto<Dst>,
fn try_as<Dst>(self) -> Result<Dst, Self::Err>where
Self: Sized + TryInto<Dst>,
§impl<T> DistributionExt for Twhere
T: ?Sized,
impl<T> DistributionExt for Twhere
T: ?Sized,
fn rand<T>(&self, rng: &mut (impl Rng + ?Sized)) -> Twhere
Self: Distribution<T>,
Source§impl<T> From<T> for T
impl<T> From<T> for T
Source§impl<T, U> Into<U> for Twhere
U: From<T>,
impl<T, U> Into<U> for Twhere
U: From<T>,
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>where
F: FnOnce(&Self) -> bool,
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>where
F: FnOnce(&Self) -> bool,
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 more§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<T> Same for T
impl<T> Same for T
§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
self from the equivalent element of its
superset. Read more§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).§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
self.to_subset but without any property checks. Always succeeds.§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
self to the equivalent element of its superset.