Searched refs:DistinctPrefixes (Results 1 – 1 of 1) sorted by relevance
1827 const size_t DistinctPrefixes = PrefixesNotFound.size(); in readCheckFile() local1942 const bool NoPrefixesFound = PrefixesNotFound.size() == DistinctPrefixes; in readCheckFile()