Searched defs:PDNF (Results 1 – 1 of 1) sorted by relevance
1310 static bool subsumes(NormalForm PDNF, NormalForm QCNF, in subsumes()1352 const NormalForm PDNF = makeDNF(*PNormalized); in subsumes() local