Lines Matching refs:NormalizedConstraint

1179 const NormalizedConstraint *
1190         NormalizedConstraint::fromConstraintExprs(*this, ConstrainedDecl,  in getNormalizedAssociatedConstraints()
1196                              ? new (Context) NormalizedConstraint(  in getNormalizedAssociatedConstraints()
1205 substituteParameterMappings(Sema &S, NormalizedConstraint &N,  in substituteParameterMappings()
1259 static bool substituteParameterMappings(Sema &S, NormalizedConstraint &N,  in substituteParameterMappings()
1274 std::optional<NormalizedConstraint>
1275 NormalizedConstraint::fromConstraintExprs(Sema &S, NamedDecl *D,  in fromConstraintExprs()
1285     *Conjunction = NormalizedConstraint(S.Context, std::move(*Conjunction),  in fromConstraintExprs()
1291 std::optional<NormalizedConstraint>
1292 NormalizedConstraint::fromConstraintExpr(Sema &S, NamedDecl *D, const Expr *E) {  in fromConstraintExpr()
1314     return NormalizedConstraint(S.Context, std::move(*LHS), std::move(*RHS),  in fromConstraintExpr()
1317     const NormalizedConstraint *SubNF;  in fromConstraintExpr()
1339     std::optional<NormalizedConstraint> New;  in fromConstraintExpr()
1347   return NormalizedConstraint{new (S.Context) AtomicConstraint(S, E)};  in fromConstraintExpr()
1353 static NormalForm makeCNF(const NormalizedConstraint &Normalized) {  in makeCNF()
1359   if (Normalized.getCompoundKind() == NormalizedConstraint::CCK_Conjunction) {  in makeCNF()
1382 static NormalForm makeDNF(const NormalizedConstraint &Normalized) {  in makeDNF()
1388   if (Normalized.getCompoundKind() == NormalizedConstraint::CCK_Disjunction) {  in makeDNF()