Skip to main content

max_cardinality_met

qualia_core_db::modalities::dl

Function max_cardinality_met 

Source 
pub fn max_cardinality_met(actual: usize, n: usize) -> bool
Expand description

Qualified MAX cardinality ≤ n R.C satisfied?