Searched refs:QCNF (Results 1 – 1 of 1) sorted by relevance
915 static bool subsumes(NormalForm PDNF, NormalForm QCNF, in subsumes() argument922 for (const auto &Qj : QCNF) { in subsumes()962 const NormalForm QCNF = makeCNF(*QNormalized); in subsumes() local964 Subsumes = subsumes(PDNF, QCNF, E); in subsumes()