Searched refs:Occurences (Results 1 – 2 of 2) sorted by relevance
531 Occurences.emplace_back(KindIndex, Mention); in addVariableOccurence()537 Occurences.emplace_back(Variables.size(), Mention); in addVariableOccurence()565 assert(Other.Occurences.size() == Occurences.size()); in countPatternDifferences()566 for (unsigned i = 0; i < Occurences.size(); ++i) { in countPatternDifferences()567 auto ThisOccurence = Occurences[i]; in countPatternDifferences()568 auto OtherOccurence = Other.Occurences[i]; in countPatternDifferences()
357 std::vector<VariableOccurence> Occurences; variable