Searched refs:messageIds (Results 1 – 1 of 1) sorted by relevance
1033 const vector<MessageID> messageIds (tempMessageIds.begin(), tempMessageIds.end()); in genFilters() local1073 const int start = rng.getInt(0, int(messageIds.size())); in genFilters()1077 const MessageID& id = messageIds[(start+itr)%messageIds.size()]; in genFilters()