Searched refs:makeCNF (Results 1 – 2 of 2) sorted by relevance
92 NormalForm makeCNF(const NormalizedConstraint &Normalized);256 NormalForm QCNF = makeCNF(*QNormalized); in subsumes()276 NormalForm QCNF = makeCNF(Other.Constraint); in subsumes()
1686 NormalForm clang::makeCNF(const NormalizedConstraint &Normalized) { in makeCNF() function in clang1693 NormalForm LCNF = makeCNF(Normalized.getLHS()); in makeCNF()1694 NormalForm RCNF = makeCNF(Normalized.getRHS()); in makeCNF()1856 const NormalForm CNF1 = makeCNF(*Normalized1); in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()1862 const NormalForm CNF2 = makeCNF(*Normalized2); in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()