Searched refs:AssumedKnowledgeMap (Results 1 – 1 of 1) sorted by relevance
105 SmallMapVector<MapKey, unsigned, 8> AssumedKnowledgeMap; member180 auto Lookup = AssumedKnowledgeMap.find(Key); in addKnowledge()181 if (Lookup == AssumedKnowledgeMap.end()) { in addKnowledge()182 AssumedKnowledgeMap[Key] = RK.ArgValue; in addKnowledge()220 if (AssumedKnowledgeMap.empty()) in build()227 for (auto &MapElem : AssumedKnowledgeMap) { in build()