Searched defs:QCNF (Results 1 – 1 of 1) sorted by relevance
878 static bool subsumes(NormalForm PDNF, NormalForm QCNF, in subsumes()925 const NormalForm QCNF = makeCNF(*QNormalized); in subsumes() local