Lines Matching refs:NormalizedConstraint
665 const NormalizedConstraint *
671 NormalizedConstraint::fromConstraintExprs(*this, ConstrainedDecl, in getNormalizedAssociatedConstraints()
677 ? new (Context) NormalizedConstraint( in getNormalizedAssociatedConstraints()
685 static bool substituteParameterMappings(Sema &S, NormalizedConstraint &N, in substituteParameterMappings()
741 Optional<NormalizedConstraint>
742 NormalizedConstraint::fromConstraintExprs(Sema &S, NamedDecl *D, in fromConstraintExprs()
752 *Conjunction = NormalizedConstraint(S.Context, std::move(*Conjunction), in fromConstraintExprs()
758 llvm::Optional<NormalizedConstraint>
759 NormalizedConstraint::fromConstraintExpr(Sema &S, NamedDecl *D, const Expr *E) { in fromConstraintExpr()
775 return NormalizedConstraint(S.Context, std::move(*LHS), std::move(*RHS), in fromConstraintExpr()
778 const NormalizedConstraint *SubNF; in fromConstraintExpr()
800 Optional<NormalizedConstraint> New; in fromConstraintExpr()
810 return NormalizedConstraint{new (S.Context) AtomicConstraint(S, E)}; in fromConstraintExpr()
816 static NormalForm makeCNF(const NormalizedConstraint &Normalized) { in makeCNF()
822 if (Normalized.getCompoundKind() == NormalizedConstraint::CCK_Conjunction) { in makeCNF()
845 static NormalForm makeDNF(const NormalizedConstraint &Normalized) { in makeDNF()
851 if (Normalized.getCompoundKind() == NormalizedConstraint::CCK_Disjunction) { in makeDNF()