|
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.