Skip to main content

holds_in

qualia_core_db::modalities::abductive::atms

Function holds_in 

Source 
pub fn holds_in(
    label: &[Environment],
    context: Environment,
    nogoods: &[Environment],
) -> bool
Expand description

Is a node with this label believed in context? The context must be consistent (not a superset of any nogood) AND contain one of the node’s supporting environments.