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