1395 const NormalizedConstraint *
1406         NormalizedConstraint::fromConstraintExprs(*this, ConstrainedDecl,  in getNormalizedAssociatedConstraints()
1412                              ? new (Context) NormalizedConstraint(  in getNormalizedAssociatedConstraints()
1420 const NormalizedConstraint *clang::getNormalizedAssociatedConstraints(  in getNormalizedAssociatedConstraints()
1428 substituteParameterMappings(Sema &S, NormalizedConstraint &N,  in substituteParameterMappings()
1501 static bool substituteParameterMappings(Sema &S, NormalizedConstraint &N,  in substituteParameterMappings()
1514 NormalizedConstraint::NormalizedConstraint(ASTContext &C,  in NormalizedConstraint()  function in NormalizedConstraint
1515                                            NormalizedConstraint LHS,  in NormalizedConstraint()
1516                                            NormalizedConstraint RHS,  in NormalizedConstraint()
1522 NormalizedConstraint::NormalizedConstraint(ASTContext &C,  in NormalizedConstraint()  function in NormalizedConstraint
1523                                            const NormalizedConstraint &Other) {  in NormalizedConstraint()
1529         NormalizedConstraint(C, Other.getFoldExpandedConstraint()->Constraint),  in NormalizedConstraint()
1534             NormalizedConstraintPair{NormalizedConstraint(C, Other.getLHS()),  in NormalizedConstraint()
1535                                      NormalizedConstraint(C, Other.getRHS())},  in NormalizedConstraint()
1540 NormalizedConstraint &NormalizedConstraint::getLHS() const {  in getLHS()
1545 NormalizedConstraint &NormalizedConstraint::getRHS() const {  in getRHS()
1550 std::optional<NormalizedConstraint>
1551 NormalizedConstraint::fromConstraintExprs(Sema &S, NamedDecl *D,  in fromConstraintExprs()
1561     *Conjunction = NormalizedConstraint(S.Context, std::move(*Conjunction),  in fromConstraintExprs()
1567 std::optional<NormalizedConstraint>
1568 NormalizedConstraint::fromConstraintExpr(Sema &S, NamedDecl *D, const Expr *E) {  in fromConstraintExpr()
1590     return NormalizedConstraint(S.Context, std::move(*LHS), std::move(*RHS),  in fromConstraintExpr()
1593     const NormalizedConstraint *SubNF;  in fromConstraintExpr()
1617     std::optional<NormalizedConstraint> New;  in fromConstraintExpr()
1643         RHS = NormalizedConstraint{new (S.Context) FoldExpandedConstraint{  in fromConstraintExpr()
1646         LHS = NormalizedConstraint{new (S.Context) FoldExpandedConstraint{  in fromConstraintExpr()
1649       return NormalizedConstraint(  in fromConstraintExpr()
1657     return NormalizedConstraint{new (S.Context) FoldExpandedConstraint{  in fromConstraintExpr()
1661   return NormalizedConstraint{new (S.Context) AtomicConstraint(S, E)};  in fromConstraintExpr()
1686 NormalForm clang::makeCNF(const NormalizedConstraint &Normalized) {  in makeCNF()
1695   if (Normalized.getCompoundKind() == NormalizedConstraint::CCK_Conjunction) {  in makeCNF()
1718 NormalForm clang::makeDNF(const NormalizedConstraint &Normalized) {  in makeDNF()
1727   if (Normalized.getCompoundKind() == NormalizedConstraint::CCK_Disjunction) {  in makeDNF()