Skip to main content

evaluate_once

qualia_core_db::modalities::temporal_ltl

Function evaluate_once 

Source 
pub fn evaluate_once(trace: &[NQuin], p: u64) -> bool
Expand description

Once O p (past ◇): p held at some point in the trace (the past-time dual of Finally).