pub fn predicate_interval(trace: &[NQuin], predicate: u64) -> Option<(u64, u64)>Expand description
Extract the [first, last] timestamp interval over which predicate occurs in the timed
trace (each event’s timestamp in metadata), or None if it never occurs. The bridge to
the Allen Interval Algebra (interval_reasoning::allen_relation relates two such intervals).