Searched refs:ClausesOfKind (Results 1 – 1 of 1) sorted by relevance
478 auto ClausesOfKind = getClausesOfKind<SpecificClause>(Clauses); in getSingleClause() local480 if (ClausesOfKind.begin() != ClausesOfKind.end()) { in getSingleClause()481 assert(std::next(ClausesOfKind.begin()) == ClausesOfKind.end() && in getSingleClause()483 return *ClausesOfKind.begin(); in getSingleClause()