Searched refs:EvenNumberCardinality (Results 1 – 2 of 2) sorted by relevance
1833 class EvenNumberCardinality : public CardinalityInterface { class1853 Cardinality EvenNumber() { return Cardinality(new EvenNumberCardinality); } in EvenNumber()
3792 class EvenNumberCardinality : public CardinalityInterface {3808 return MakeCardinality(new EvenNumberCardinality);