Searched refs:PNormalized (Results 1 – 1 of 1) sorted by relevance
1349 auto *PNormalized = S.getNormalizedAssociatedConstraints(DP, P); in subsumes() local1350 if (!PNormalized) in subsumes()1352 const NormalForm PDNF = makeDNF(*PNormalized); in subsumes()