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