Searched refs:RDNF (Results 1 – 1 of 1) sorted by relevance
1726 NormalForm RDNF = makeDNF(Normalized.getRHS()); in makeDNF() local1728 LDNF.reserve(LDNF.size() + RDNF.size()); in makeDNF()1729 while (!RDNF.empty()) in makeDNF()1730 LDNF.push_back(RDNF.pop_back_val()); in makeDNF()1736 Res.reserve(LDNF.size() * RDNF.size()); in makeDNF()1738 for (auto &RConjunction : RDNF) { in makeDNF()