Searched refs:PNormalized (Results 1 – 1 of 1) sorted by relevance
246 const NormalizedConstraint *PNormalized = in subsumes() local248 if (!PNormalized) in subsumes()250 NormalForm PDNF = makeDNF(*PNormalized); in subsumes()