Searched refs:makeDNF (Results 1 – 1 of 1) sorted by relevance
847 static NormalForm makeDNF(const NormalizedConstraint &Normalized) { in makeDNF() function851 NormalForm LDNF = makeDNF(Normalized.getLHS()); in makeDNF()852 NormalForm RDNF = makeDNF(Normalized.getRHS()); in makeDNF()920 const NormalForm PDNF = makeDNF(*PNormalized); in subsumes()1002 const NormalForm DNF1 = makeDNF(*Normalized1); in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()1008 const NormalForm DNF2 = makeDNF(*Normalized2); in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()