Searched refs:makeDNF (Results 1 – 1 of 1) sorted by relevance
845 static NormalForm makeDNF(const NormalizedConstraint &Normalized) { in makeDNF() function849 NormalForm LDNF = makeDNF(Normalized.getLHS()); in makeDNF()850 NormalForm RDNF = makeDNF(Normalized.getRHS()); in makeDNF()918 const NormalForm PDNF = makeDNF(*PNormalized); in subsumes()1000 const NormalForm DNF1 = makeDNF(*Normalized1); in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()1006 const NormalForm DNF2 = makeDNF(*Normalized2); in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()