Searched refs:ClauseMapTy (Results 1 – 1 of 1) sorted by relevance
170 using ClauseMapTy = std::multimap<C, const PC *>; variable184 ClauseMapTy clauseInfo;271 std::pair<typename ClauseMapTy::iterator, typename ClauseMapTy::iterator>