Struct TemporalReasoningEngine 

pub struct TemporalReasoningEngine { /* private fields */ }

A production-grade temporal logic reasoning system.

Stores a collection of TemporalEvents and a set of TemporalConstraints, and provides rich queries over them including Allen’s interval algebra classification, windowed search, tag-based lookup, chain analysis, and full constraint checking.

Implementations

impl TemporalReasoningEngine

pub fn new(max_events: usize) -> Self

Create a new engine with the given event capacity.

pub fn add_event(&mut self, event: TemporalEvent) -> Result<(), TemporalError>

Add an event. Returns Err if the id already exists or if the engine is at capacity.

pub fn remove_event(&mut self, id: &str) -> bool

Remove an event by id. Returns true if it existed.

pub fn get_event(&self, id: &str) -> Option<&TemporalEvent>

Retrieve a reference to an event by id.

pub fn events_in_window(&self, window: &TimeInterval) -> Vec<&TemporalEvent>

Return all events whose interval overlaps window, sorted by start time (then end time as tiebreaker).

pub fn events_with_tag(&self, tag: &str) -> Vec<&TemporalEvent>

Return all events that carry tag, sorted by start time.

pub fn timeline(&self) -> Vec<&TemporalEvent>

Return all events sorted chronologically (by start, then end).

pub fn concurrent_events(&self, id: &str) -> Vec<&TemporalEvent>

Return all events that overlap with the event identified by id, excluding the event itself. Returns an empty Vec if id not found.

pub fn allen_relation(&self, a: &str, b: &str) -> Option<AllenRelation>

Classify the Allen relation between two events. Returns None if either event is not found.

pub fn add_constraint(&mut self, c: TemporalConstraint)

Register a constraint. Constraints are not validated on insertion; call check_constraints to evaluate them.

pub fn check_constraints(&self) -> Vec<ConstraintViolation>

Evaluate all registered constraints and return a list of violations.

pub fn event_chains(&self) -> Vec<Vec<&TemporalEvent>>

Compute connected components of the overlap graph.

Two events are in the same component if they overlap (directly or transitively). Returns chains sorted by the start time of their first event; within each chain events are also sorted by start time.

pub fn stats(&self) -> TemporalStats

Compute aggregate statistics about the current engine state.

Trait Implementations

impl Debug for TemporalReasoningEngine

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

Formats the value using the given formatter.