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