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