Home
last modified time | relevance | path

Searched refs:RDisjunction (Results 1 – 1 of 1) sorted by relevance

/openbsd/gnu/llvm/clang/lib/Sema/
H A DSemaConcept.cpp1267 for (auto &RDisjunction : RCNF) { in makeCNF() local
1269 Combined.reserve(LDisjunction.size() + RDisjunction.size()); in makeCNF()
1272 std::copy(RDisjunction.begin(), RDisjunction.end(), in makeCNF()