Searched refs:RConjunction (Results 1 – 1 of 1) sorted by relevance
1738 for (auto &RConjunction : RDNF) { in makeDNF() local1740 Combined.reserve(LConjunction.size() + RConjunction.size()); in makeDNF()1743 std::copy(RConjunction.begin(), RConjunction.end(), in makeDNF()