Struct CausalSetSpacetime 

pub struct CausalSetSpacetime {
    pub id: u64,
    pub label: Option<String>,
    pub predecessors: BTreeSet<u64>,
}

A symbolic, discrete model of spacetime based on causal set theory (CST).

CausalSetSpacetime represents events not by coordinates, but by their causal relationships — i.e., who can influence whom. This allows reasoning about causality and temporal order without requiring geometry, coordinates, or metrics.

This type is part of a broader class of non-metric causal models, ideal for:

• Symbolic AI
• Quantum gravity models
• Abstract causal graphs

Fields

• id: Unique identifier for the event
• label: Optional semantic tag (e.g., “observation”, “input”)
• predecessors: Set of event IDs that causally precede this one

Notes

• This model assumes transitive reduction (i.e., minimal representation of causality)
• No distance or duration is defined — just causal topology
• Cycles are disallowed by construction

Example

use deep_causality::*;

let mut e1 = CausalSetSpacetime::new(1, Some("A".into()));
let mut e2 = CausalSetSpacetime::new(2, Some("B".into()));

e2.add_predecessor(1);

assert!(e2.predecessors.contains(&1));
assert_eq!(e2.label.as_deref(), Some("B"));

Fields

id: u64

Unique event identifier

label: Option<String>

Optional label or annotation for semantic reasoning

predecessors: BTreeSet<u64>

List of causally preceding event IDs (must be acyclic)

Implementations

impl CausalSetSpacetime

pub fn new(id: u64, label: Option<String>) -> Self

impl CausalSetSpacetime

pub fn add_predecessor(&mut self, parent_id: u64)

Adds a causal link (edge) from another event that precedes this one.

pub fn is_after(&self, other_id: u64) -> bool

Checks whether the current event is causally downstream of another.

pub fn causal_depth(&self) -> usize

Returns the causal depth (number of direct predecessors)

Trait Implementations

impl Clone for CausalSetSpacetime

fn clone(&self) -> CausalSetSpacetime

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CausalSetSpacetime

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

Formats the value using the given formatter.

impl Display for CausalSetSpacetime

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

Formats the value using the given formatter.

impl PartialEq for CausalSetSpacetime

fn eq(&self, other: &CausalSetSpacetime) -> 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 StructuralPartialEq for CausalSetSpacetime