Skip to main content

env_subset

qualia_core_db::modalities::abductive::atms

Function env_subset 

Source 
pub fn env_subset(sub: Environment, sup: Environment) -> bool
Expand description

Is sub a subset of sup? (every assumption in sub is in sup)