Lines Matching refs:NormalizedConstraint

704 const NormalizedConstraint *
710         NormalizedConstraint::fromConstraintExprs(*this, ConstrainedDecl,  in getNormalizedAssociatedConstraints()
716                              ? new (Context) NormalizedConstraint(  in getNormalizedAssociatedConstraints()
724 static bool substituteParameterMappings(Sema &S, NormalizedConstraint &N,  in substituteParameterMappings()
780 Optional<NormalizedConstraint>
781 NormalizedConstraint::fromConstraintExprs(Sema &S, NamedDecl *D,  in fromConstraintExprs()
791     *Conjunction = NormalizedConstraint(S.Context, std::move(*Conjunction),  in fromConstraintExprs()
797 llvm::Optional<NormalizedConstraint>
798 NormalizedConstraint::fromConstraintExpr(Sema &S, NamedDecl *D, const Expr *E) {  in fromConstraintExpr()
814     return NormalizedConstraint(S.Context, std::move(*LHS), std::move(*RHS),  in fromConstraintExpr()
817     const NormalizedConstraint *SubNF;  in fromConstraintExpr()
839     Optional<NormalizedConstraint> New;  in fromConstraintExpr()
849   return NormalizedConstraint{new (S.Context) AtomicConstraint(S, E)};  in fromConstraintExpr()
855 static NormalForm makeCNF(const NormalizedConstraint &Normalized) {  in makeCNF()
861   if (Normalized.getCompoundKind() == NormalizedConstraint::CCK_Conjunction) {  in makeCNF()
884 static NormalForm makeDNF(const NormalizedConstraint &Normalized) {  in makeDNF()
890   if (Normalized.getCompoundKind() == NormalizedConstraint::CCK_Disjunction) {  in makeDNF()