Lines Matching refs:cardinality
83 cardinality(SetVar, CS),
84 cardinality(UnionVar, CU),
90 % cardinality(SetVar, CS),
91 % cardinality(UnionVar, CU),
373 % Check if SetVar with cardinality CardSet is consistent with union cardinality CardUnion,
405 % possible to obtain an extra union cardinality of at least CardUnionPoss with
435 % possible to obtain an extra union cardinality of at least CardUnionPoss with
466 % possible to obtain an extra union cardinality of at least NeccessaryCard with
487 % possible to obtain an extra union cardinality of at least NeccessaryCard with
506 % neccessary minimum set poss cardinality (CardOut-CardIn) to be able to obtain
507 % an extra union cardinality of at least NeccessaryCard.