Enum SymbolicTimeUnit 

pub enum SymbolicTimeUnit {
    Before(String, i64),
    Named(String, i64),
    After(String, i64),
    Simultaneous(Vec<String>, i64),
}

Represents a symbolic unit of time with a qualitative relationship to named events.

Each variant carries a human-readable label (or multiple labels) and a numeric scalar i64 value for optional ordering, interval estimation, or compatibility with systems that require Temporal<i64>.

Variants

• Before(label, t)

  • Indicates a time before the given label (e.g., "Before(SensorTrigger)")
  • Scalar t is expected to be negative

• Named(label, t)

  • A named symbolic anchor point in time (e.g., "Init", "Decision")
  • Scalar t is typically zero or positive

• After(label, t)

  • Indicates a time after the given event
  • Scalar t is always positive

• Simultaneous(labels, t)

  • Represents multiple symbolic labels occurring at the same scalar time
  • Useful for modeling concurrency or grouped events

Use Cases

• Symbolic and rule-based AI systems
• Temporal logic systems (e.g., LTL, CTL)
• Causal modeling without physical clocks
• Traceable inference timelines

Example

use deep_causality::SymbolicTimeUnit;

let t = SymbolicTimeUnit::Simultaneous(
    vec!["SensorA".into(), "SensorB".into()],
    100,
);

match &t {
    SymbolicTimeUnit::Simultaneous(labels, time) => {
        assert_eq!(labels.len(), 2);
        assert_eq!(*time, 100);
    },
    _ => unreachable!(),
}

Variants

Before(String, i64)

A symbolic time point before the given label (e.g., “Before(‘start’)”).

Named(String, i64)

A symbolic named anchor point in the timeline (e.g., “Init”, “Decision”).

After(String, i64)

A symbolic time point after the given label (e.g., “After(‘end’)”).

Simultaneous(Vec<String>, i64)

Multiple events that occur simultaneously and share a scalar time.

Trait Implementations

impl Clone for SymbolicTimeUnit

fn clone(&self) -> SymbolicTimeUnit

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SymbolicTimeUnit

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

Formats the value using the given formatter.

impl Hash for SymbolicTimeUnit

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for SymbolicTimeUnit

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

impl StructuralPartialEq for SymbolicTimeUnit