Enum SpaceTimeKind 

pub enum SpaceTimeKind {
    Euclidean(EuclideanSpacetime),
    Lorentzian(LorentzianSpacetime),
    Minkowski(MinkowskiSpacetime),
    Tangent(TangentSpacetime),
}

A polymorphic enum over supported spacetime context types.

SpaceTimeKind provides a unified abstraction over multiple spacetime representations. It enables algorithms to generically operate over different mathematical models of space and time without requiring monomorphic type coupling.

This type implements key traits such as Coordinate, Temporal, Spatial, and SpaceTemporal to enable high-level reasoning, measurement, and causal modeling in spacetime-aware systems.

Supported Variants

• EuclideanSpacetime: Classical Newtonian model with separate space and time.
• LorentzianSpacetime: Supports pseudo-Riemannian geometry, used in general relativity.
• MinkowskiSpacetime: Flat spacetime in special relativity, often used in causal graphs.
• TangentSpacetime: Linear approximation of curved space at a point (i.e., tangent space).

Examples

use deep_causality::*;

let euclidean = EuclideanSpacetime::new(1, 0.0, 0.0, 0.0, 1.0, TimeScale::Second);
let spacetime = SpaceTimeKind::Euclidean(euclidean);

assert_eq!(spacetime.dimension(), 4);
assert_eq!(spacetime.time_unit(), 1.0);

Trait Support

SpaceTimeKind implements:

• Identifiable: Unique ID for referencing entities.
• Coordinate<f64>: Spatial dimensionality and index access.
• Temporal<f64>: Temporal metadata and tick-based behavior.
• Spatial<f64>: Marker trait for spatial context.
• SpaceTemporal<f64, f64>: Full space-time reasoning abstraction.

Index Mapping

Coordinate indexing depends on the inner type variant. The most common mapping is:

• 0 => x
• 1 => y
• 2 => z
• 3 => t

Notes

• This abstraction is ideal for heterogeneous systems that must support multiple physical or geometric models simultaneously (e.g., causal simulation engines, robotics frameworks, or time-aware decision systems).

Variants

Euclidean(EuclideanSpacetime)

Classical Newtonian spacetime (ℝ³ + time)

Lorentzian(LorentzianSpacetime)

General relativistic curved spacetime

Minkowski(MinkowskiSpacetime)

Special relativistic flat spacetime (Minkowski space)

Tangent(TangentSpacetime)

Tangent space at a point, used for local linearization of curvature

Trait Implementations

impl Clone for SpaceTimeKind

fn clone(&self) -> SpaceTimeKind

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Coordinate<f64> for SpaceTimeKind

fn dimension(&self) -> usize

Returns the number of dimensions defined in this coordinate system.

fn coordinate(&self, index: usize) -> Result<&f64, IndexError>

Returns a reference to the value at a given axis index (0-based).

impl Debug for SpaceTimeKind

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for SpaceTimeKind

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Identifiable for SpaceTimeKind

fn id(&self) -> u64

impl PartialEq for SpaceTimeKind

fn eq(&self, other: &SpaceTimeKind) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl SpaceTemporal<f64, f64> for SpaceTimeKind

fn t(&self) -> &f64

Returns the value associated with the temporal (4th) dimension.

impl Temporal<f64> for SpaceTimeKind

fn time_scale(&self) -> TimeScale

Returns the unit scale of time (e.g. TimeScale::Milliseconds).

fn time_unit(&self) -> f64

Returns a reference to the numeric time unit (e.g. 0, 100, 32768).

impl Spatial<f64> for SpaceTimeKind

impl StructuralPartialEq for SpaceTimeKind