Searched refs:RCNF (Results 1 – 1 of 1) sorted by relevance
785 NormalForm RCNF = makeCNF(Normalized.getRHS()); in makeCNF() local787 LCNF.reserve(LCNF.size() + RCNF.size()); in makeCNF()788 while (!RCNF.empty()) in makeCNF()789 LCNF.push_back(RCNF.pop_back_val()); in makeCNF()795 Res.reserve(LCNF.size() * RCNF.size()); in makeCNF()797 for (auto &RDisjunction : RCNF) { in makeCNF()