Searched refs:EvenNumberCardinality (Results 1 – 2 of 2) sorted by relevance
1832 class EvenNumberCardinality : public CardinalityInterface { class1852 Cardinality EvenNumber() { return Cardinality(new EvenNumberCardinality); } in EvenNumber()
3860 class EvenNumberCardinality : public CardinalityInterface {3876 return MakeCardinality(new EvenNumberCardinality);