Module temporal_reasoning 

Temporal Reasoning Engine — temporal logic for time-based constraints, intervals, and event ordering.

Implements Allen’s interval algebra (13 relations) for expressive temporal reasoning, providing event storage, constraint checking, and graph-based chain analysis.

Structs

ConstraintViolation

Describes a single constraint violation.

TemporalEvent

A named event occupying a time interval with optional tags and payload.

TemporalReasoningEngine

A production-grade temporal logic reasoning system.

TemporalStats

Aggregate statistics about the engine’s current state.

TimeInterval

A closed time interval [start, end] with the invariant start ≤ end.

TimePoint

Unix timestamp in milliseconds.

Enums

AllenRelation

The 13 relations of Allen’s interval algebra.

TemporalConstraint

Constraints that can be enforced across events.

TemporalError

Errors produced by the temporal reasoning engine.