Searched refs:makeDNF (Results 1 – 1 of 1) sorted by relevance
1382 static NormalForm makeDNF(const NormalizedConstraint &Normalized) { in makeDNF() function1386 NormalForm LDNF = makeDNF(Normalized.getLHS()); in makeDNF()1387 NormalForm RDNF = makeDNF(Normalized.getRHS()); in makeDNF()1455 const NormalForm PDNF = makeDNF(*PNormalized); in subsumes()1569 const NormalForm DNF1 = makeDNF(*Normalized1); in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()1575 const NormalForm DNF2 = makeDNF(*Normalized2); in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()