Skip to main content

validates

qualia_core_db::modalities::modal

Function validates 

Source 
pub fn validates(
    system: ModalSystem,
    graph: &[NQuin],
    accesses: u64,
    worlds: &[u64],
) -> bool
Expand description

Does the frame validate the characteristic axiom(s) of system over worlds?