Searched refs:ClauseSet (Results 1 – 1 of 1) sorted by relevance
92 using ClauseSet = std::unordered_set<const ClauseTy *>; member133 ClauseSet *findClausesWith(const ObjectTy &object) { in findClausesWith()252 std::unordered_map<IdTy, ClauseSet> syms;596 if (ClauseSet *set = findClausesWith(object)) { in applyClause()660 if (ClauseSet *set = findClausesWith(object)) { in applyClause()