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