Skip to main content

always_next

qualia_core_db::modalities::ctl

Function always_next 

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

AX φ — ALL immediate successors of start satisfy prop (vacuously true if none).