Searched refs:QNormalized (Results 1 – 1 of 1) sorted by relevance
252 const NormalizedConstraint *QNormalized = in subsumes() local254 if (!QNormalized) in subsumes()256 NormalForm QCNF = makeCNF(*QNormalized); in subsumes()