Skip to main content

exists_next

qualia_core_db::modalities::ctl

Function exists_next 

Source 
pub fn exists_next(
    graph: &[NQuin],
    start: u64,
    prop: u64,
    next: u64,
    holds: u64,
) -> bool
Expand description

EX φ — SOME immediate successor of start satisfies prop.