Searched refs:cardinality1 (Results 1 – 1 of 1) sorted by relevance
96 int cardinality1 = s.cardinality(); in checkSanity() local105 check(cardinality1 == cardinality2, "cardinalities"); in checkSanity()108 check(cardinality1 >= 0, "cardinality >= 0"); in checkSanity()