Searched refs:RDNF (Results 1 – 1 of 1) sorted by relevance
1284 NormalForm RDNF = makeDNF(Normalized.getRHS()); in makeDNF() local1286 LDNF.reserve(LDNF.size() + RDNF.size()); in makeDNF()1287 while (!RDNF.empty()) in makeDNF()1288 LDNF.push_back(RDNF.pop_back_val()); in makeDNF()1294 Res.reserve(LDNF.size() * RDNF.size()); in makeDNF()1296 for (auto &RConjunction : RDNF) { in makeDNF()