Searched refs:LDisjunction (Results 1 – 1 of 1) sorted by relevance
1266 for (auto &LDisjunction : LCNF) in makeCNF() local1269 Combined.reserve(LDisjunction.size() + RDisjunction.size()); in makeCNF()1270 std::copy(LDisjunction.begin(), LDisjunction.end(), in makeCNF()