Skip to main content

holds_within

qualia_core_db::modalities::temporal_ltl

Function holds_within 

Source 
pub fn holds_within(
    trace: &[NQuin],
    trigger: u64,
    target: u64,
    window: u64,
) -> bool
Expand description

Metric temporal (MTL) “within”: after the EARLIEST occurrence of trigger (each event quin carries its timestamp in metadata), target must occur at some time t1 with t0 <= t1 <= t0 + window. Models deadlines — e.g. “remedy within 30 days of breach”. Zero-heap (two linear scans; no allocation).