Lines Matching refs:NormalizedConstraint

660 const NormalizedConstraint *
666         NormalizedConstraint::fromConstraintExprs(*this, ConstrainedDecl,  in getNormalizedAssociatedConstraints()
672                              ? new (Context) NormalizedConstraint(  in getNormalizedAssociatedConstraints()
680 static bool substituteParameterMappings(Sema &S, NormalizedConstraint &N,  in substituteParameterMappings()
736 Optional<NormalizedConstraint>
737 NormalizedConstraint::fromConstraintExprs(Sema &S, NamedDecl *D,  in fromConstraintExprs()
746   llvm::Optional<NormalizedConstraint> Conjunction;  in fromConstraintExprs()
752       return llvm::Optional<NormalizedConstraint>{};  in fromConstraintExprs()
753     NormalizedConstraint NewConjunction(S.Context, std::move(*Conjunction),  in fromConstraintExprs()
760 llvm::Optional<NormalizedConstraint>
761 NormalizedConstraint::fromConstraintExpr(Sema &S, NamedDecl *D, const Expr *E) {  in fromConstraintExpr()
777     return NormalizedConstraint(S.Context, std::move(*LHS), std::move(*RHS),  in fromConstraintExpr()
780     const NormalizedConstraint *SubNF;  in fromConstraintExpr()
802     Optional<NormalizedConstraint> New;  in fromConstraintExpr()
812   return NormalizedConstraint{new (S.Context) AtomicConstraint(S, E)};  in fromConstraintExpr()
818 static NormalForm makeCNF(const NormalizedConstraint &Normalized) {  in makeCNF()
824   if (Normalized.getCompoundKind() == NormalizedConstraint::CCK_Conjunction) {  in makeCNF()
847 static NormalForm makeDNF(const NormalizedConstraint &Normalized) {  in makeDNF()
853   if (Normalized.getCompoundKind() == NormalizedConstraint::CCK_Disjunction) {  in makeDNF()