Searched refs:AssumedKnowledgeMap (Results 1 – 1 of 1) sorted by relevance
107 SmallMapVector<MapKey, uint64_t, 8> AssumedKnowledgeMap; member181 auto Lookup = AssumedKnowledgeMap.find(Key); in addKnowledge()182 if (Lookup == AssumedKnowledgeMap.end()) { in addKnowledge()183 AssumedKnowledgeMap[Key] = RK.ArgValue; in addKnowledge()224 if (AssumedKnowledgeMap.empty()) in build()231 for (auto &MapElem : AssumedKnowledgeMap) { in build()