Skip to main content

label_holds

qualia_core_db::modalities::abductive::atms

Function label_holds 

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

Does some environment in label hold under context? (ignoring consistency — see holds_in). True iff any label environment is a subset of context.