Searched refs:LCNF (Results 1 – 1 of 1) sorted by relevance
1357 NormalForm LCNF = makeCNF(Normalized.getLHS()); in makeCNF() local1360 LCNF.reserve(LCNF.size() + RCNF.size()); in makeCNF()1362 LCNF.push_back(RCNF.pop_back_val()); in makeCNF()1363 return LCNF; in makeCNF()1368 Res.reserve(LCNF.size() * RCNF.size()); in makeCNF()1369 for (auto &LDisjunction : LCNF) in makeCNF()