|
| enum class | ConstraintKind : unsigned char { Atomic = 0
, ConceptId
, FoldExpanded
, Compound
} |
| enum | CompoundConstraintKind : unsigned char { CCK_Conjunction
, CCK_Disjunction
} |
| enum class | FoldOperatorKind : unsigned char { And
, Or
} |
| using | OccurenceList = llvm::SmallBitVector |
| using | ExprOrConcept |
| | ~NormalizedConstraint () |
| | NormalizedConstraint (const Expr *ConstraintExpr, const NamedDecl *ConstraintDecl, UnsignedOrNone PackIndex) |
| | NormalizedConstraint (const Expr *Pattern, FoldOperatorKind OpKind, NormalizedConstraint *Constraint, const NamedDecl *ConstraintDecl) |
| | NormalizedConstraint (const ConceptReference *ConceptId, const NamedDecl *ConstraintDecl, NormalizedConstraint *SubConstraint, const ConceptSpecializationExpr *CSE, UnsignedOrNone PackIndex) |
| | NormalizedConstraint (NormalizedConstraint *LHS, CompoundConstraintKind CCK, NormalizedConstraint *RHS) |
| bool | hasParameterMapping () const |
| const OccurenceList & | mappingOccurenceList () const |
| const OccurenceList & | mappingOccurenceListForSubsumption () const |
| llvm::MutableArrayRef< TemplateArgumentLoc > | getParameterMapping () const |
| TemplateParameterList * | getUsedTemplateParamList () const |
| void | updateParameterMapping (OccurenceList Indexes, OccurenceList IndexesForSubsumption, llvm::MutableArrayRef< TemplateArgumentLoc > Args, TemplateParameterList *ParamList) |
| bool | hasMatchingParameterMapping (ASTContext &C, const NormalizedConstraint &Other) const |
| union { | |
| AtomicConstraintBits Atomic | |
| FoldExpandedConstraintBits FoldExpanded | |
| ConceptIdBits ConceptId | |
| CompoundConstraintBits Compound | |
| }; | |
Definition at line 289 of file SemaConcept.h.