Searched refs:PDNF (Results 1 – 1 of 1) sorted by relevance
876 static bool subsumes(NormalForm PDNF, NormalForm QCNF, in subsumes() argument882 for (const auto &Pi : PDNF) { in subsumes()918 const NormalForm PDNF = makeDNF(*PNormalized); in subsumes() local925 Subsumes = subsumes(PDNF, QCNF, E); in subsumes()