Searched refs:QCNF (Results 1 – 1 of 1) sorted by relevance
196 bool subsumes(const NormalForm &PDNF, const NormalForm &QCNF, in subsumes() argument203 for (const auto &Qj : QCNF) { in subsumes()256 NormalForm QCNF = makeCNF(*QNormalized); in subsumes() local258 Subsumes = subsumes(PDNF, QCNF, E); in subsumes()276 NormalForm QCNF = makeCNF(Other.Constraint); in subsumes() local277 return clang::subsumes(PDNF, QCNF, E); in subsumes()