Searched refs:makeDNF (Results 1 – 1 of 1) sorted by relevance
884 static NormalForm makeDNF(const NormalizedConstraint &Normalized) { in makeDNF() function888 NormalForm LDNF = makeDNF(Normalized.getLHS()); in makeDNF()889 NormalForm RDNF = makeDNF(Normalized.getRHS()); in makeDNF()957 const NormalForm PDNF = makeDNF(*PNormalized); in subsumes()1039 const NormalForm DNF1 = makeDNF(*Normalized1); in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()1045 const NormalForm DNF2 = makeDNF(*Normalized2); in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()