Searched refs:makeDNF (Results 1 – 2 of 2) sorted by relevance
98 NormalForm makeDNF(const NormalizedConstraint &Normalized);250 NormalForm PDNF = makeDNF(*PNormalized); in subsumes()275 NormalForm PDNF = makeDNF(this->Constraint); in subsumes()
1718 NormalForm clang::makeDNF(const NormalizedConstraint &Normalized) { in makeDNF() function in clang1725 NormalForm LDNF = makeDNF(Normalized.getLHS()); in makeDNF()1726 NormalForm RDNF = makeDNF(Normalized.getRHS()); in makeDNF()1855 const NormalForm DNF1 = makeDNF(*Normalized1); in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()1861 const NormalForm DNF2 = makeDNF(*Normalized2); in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()