Searched refs:cardinality_ (Results 1 – 4 of 4) sorted by relevance
75 cardinality_(Exactly(1)), in ExpectationBase()91 cardinality_ = a_cardinality; in SpecifyCardinality()
689 const Cardinality& cardinality() const { return cardinality_; } in cardinality()747 cardinality_ = a_cardinality; in set_cardinality()838 Cardinality cardinality_; // The cardinality of the expectation. variable
9652 cardinality_(Exactly(1)), in ExpectationBase()9668 cardinality_ = a_cardinality; in SpecifyCardinality()
8293 const Cardinality& cardinality() const { return cardinality_; }8351 cardinality_ = a_cardinality;8442 Cardinality cardinality_; // The cardinality of the expectation.