Home
last modified time | relevance | path

Searched refs:NormalizedConstraint (Results 1 – 3 of 3) sorted by relevance

/freebsd/contrib/llvm-project/clang/include/clang/Sema/
H A DSemaConcept.h84 struct NormalizedConstraint;
92 NormalForm makeCNF(const NormalizedConstraint &Normalized);
98 NormalForm makeDNF(const NormalizedConstraint &Normalized);
105 struct NormalizedConstraint { struct
117 NormalizedConstraint(AtomicConstraint *C): Constraint{C} { }; in NormalizedConstraint() argument
118 NormalizedConstraint(FoldExpandedConstraint *C) : Constraint{C} {}; in NormalizedConstraint() argument
120 NormalizedConstraint(ASTContext &C, NormalizedConstraint LHS,
121 NormalizedConstraint RHS, CompoundConstraintKind Kind);
123 NormalizedConstraint(ASTContext &C, const NormalizedConstraint &Other);
124 NormalizedConstraint(NormalizedConstraint &&Other): in NormalizedConstraint() function
[all …]
H A DSema.h14461 const NormalizedConstraint *getNormalizedAssociatedConstraints(
14493 llvm::DenseMap<NamedDecl *, NormalizedConstraint *> NormalizationCache;
/freebsd/contrib/llvm-project/clang/lib/Sema/
H A DSemaConcept.cpp1395 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
[all …]