Searched refs:QNormalized (Results 1 – 1 of 1) sorted by relevance
1457 auto *QNormalized = S.getNormalizedAssociatedConstraints(DQ, Q); in subsumes() local1458 if (!QNormalized) in subsumes()1460 const NormalForm QCNF = makeCNF(*QNormalized); in subsumes()