Searched refs:A2K (Results 1 – 1 of 1) sorted by relevance
1094 const Assume2KnowledgeMap &A2K = in getAttrsFromAssumes() local1099 if (A2K.empty()) in getAttrsFromAssumes()1106 for (const auto &It : A2K) in getAttrsFromAssumes()