Searched refs:RDNF (Results 1 – 1 of 1) sorted by relevance
835 NormalForm RDNF = makeDNF(Normalized.getRHS()); in makeDNF() local837 LDNF.reserve(LDNF.size() + RDNF.size()); in makeDNF()838 while (!RDNF.empty()) in makeDNF()839 LDNF.push_back(RDNF.pop_back_val()); in makeDNF()845 Res.reserve(LDNF.size() * RDNF.size()); in makeDNF()847 for (auto &RConjunction : RDNF) { in makeDNF()