Searched refs:LDNF (Results 1 – 1 of 1) sorted by relevance
1386 NormalForm LDNF = makeDNF(Normalized.getLHS()); in makeDNF() local1389 LDNF.reserve(LDNF.size() + RDNF.size()); in makeDNF()1391 LDNF.push_back(RDNF.pop_back_val()); in makeDNF()1392 return LDNF; in makeDNF()1397 Res.reserve(LDNF.size() * RDNF.size()); in makeDNF()1398 for (auto &LConjunction : LDNF) { in makeDNF()