pub struct RelativisticVerifier { /* private fields */ }Expand description
Relativistic physics verification functions for GPU operations
Implementations§
Source§impl RelativisticVerifier
impl RelativisticVerifier
Sourcepub fn verify_four_velocity_normalization(
&self,
velocities: &[GpuSpacetimeVector],
) -> Result<(), GpuVerificationError>
pub fn verify_four_velocity_normalization( &self, velocities: &[GpuSpacetimeVector], ) -> Result<(), GpuVerificationError>
Verify four-velocity normalization: u·u = c²
Sourcepub fn verify_energy_momentum_relation(
&self,
particles: &[GpuRelativisticParticle],
) -> Result<(), GpuVerificationError>
pub fn verify_energy_momentum_relation( &self, particles: &[GpuRelativisticParticle], ) -> Result<(), GpuVerificationError>
Verify energy-momentum relation: E² = (pc)² + (mc²)²
Sourcepub fn verify_minkowski_signature(
&self,
vectors: &[GpuSpacetimeVector],
expected_signs: &[i8],
) -> Result<(), GpuVerificationError>
pub fn verify_minkowski_signature( &self, vectors: &[GpuSpacetimeVector], expected_signs: &[i8], ) -> Result<(), GpuVerificationError>
Verify Minkowski signature preservation
Sourcepub fn verify_causality_constraints(
&self,
velocities: &[GpuSpacetimeVector],
) -> Result<(), GpuVerificationError>
pub fn verify_causality_constraints( &self, velocities: &[GpuSpacetimeVector], ) -> Result<(), GpuVerificationError>
Verify causality constraints
Sourcepub fn verify_particle_batch(
&self,
particles: &[GpuRelativisticParticle],
) -> Result<(), GpuVerificationError>
pub fn verify_particle_batch( &self, particles: &[GpuRelativisticParticle], ) -> Result<(), GpuVerificationError>
Verify a batch of relativistic particles with comprehensive checks
Sourcepub fn statistical_verify_particles(
&self,
particles: &[GpuRelativisticParticle],
sample_rate: f64,
) -> Result<(), GpuVerificationError>
pub fn statistical_verify_particles( &self, particles: &[GpuRelativisticParticle], sample_rate: f64, ) -> Result<(), GpuVerificationError>
Statistical verification of relativistic invariants
Auto Trait Implementations§
impl Freeze for RelativisticVerifier
impl RefUnwindSafe for RelativisticVerifier
impl Send for RelativisticVerifier
impl Sync for RelativisticVerifier
impl Unpin for RelativisticVerifier
impl UnwindSafe for RelativisticVerifier
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
Mutably borrows from an owned value. Read more
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>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
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
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.