clang 18.0.0git
|
A normalized constraint, as defined in C++ [temp.constr.normal], is either an atomic constraint, a conjunction of normalized constraints or a disjunction of normalized constraints. More...
#include "clang/Sema/SemaConcept.h"
Public Types | |
enum | CompoundConstraintKind { CCK_Conjunction , CCK_Disjunction } |
using | CompoundConstraint = llvm::PointerIntPair< std::pair< NormalizedConstraint, NormalizedConstraint > *, 1, CompoundConstraintKind > |
Public Member Functions | |
NormalizedConstraint (AtomicConstraint *C) | |
NormalizedConstraint (ASTContext &C, NormalizedConstraint LHS, NormalizedConstraint RHS, CompoundConstraintKind Kind) | |
NormalizedConstraint (ASTContext &C, const NormalizedConstraint &Other) | |
NormalizedConstraint (NormalizedConstraint &&Other) | |
NormalizedConstraint & | operator= (const NormalizedConstraint &Other)=delete |
NormalizedConstraint & | operator= (NormalizedConstraint &&Other) |
CompoundConstraintKind | getCompoundKind () const |
bool | isAtomic () const |
NormalizedConstraint & | getLHS () const |
NormalizedConstraint & | getRHS () const |
AtomicConstraint * | getAtomicConstraint () const |
Public Attributes | |
llvm::PointerUnion< AtomicConstraint *, CompoundConstraint > | Constraint |
Friends | |
class | Sema |
A normalized constraint, as defined in C++ [temp.constr.normal], is either an atomic constraint, a conjunction of normalized constraints or a disjunction of normalized constraints.
Definition at line 81 of file SemaConcept.h.
using clang::NormalizedConstraint::CompoundConstraint = llvm::PointerIntPair< std::pair<NormalizedConstraint, NormalizedConstraint> *, 1, CompoundConstraintKind> |
Definition at line 86 of file SemaConcept.h.
Enumerator | |
---|---|
CCK_Conjunction | |
CCK_Disjunction |
Definition at line 84 of file SemaConcept.h.
|
inline |
Definition at line 92 of file SemaConcept.h.
|
inline |
Definition at line 93 of file SemaConcept.h.
|
inline |
Definition at line 99 of file SemaConcept.h.
References clang::Other.
|
inline |
Definition at line 110 of file SemaConcept.h.
References clang::Other.
|
inline |
Definition at line 140 of file SemaConcept.h.
Referenced by makeCNF(), makeDNF(), and substituteParameterMappings().
|
inline |
Definition at line 123 of file SemaConcept.h.
|
inline |
Definition at line 130 of file SemaConcept.h.
Referenced by makeCNF(), makeDNF(), and substituteParameterMappings().
|
inline |
Definition at line 135 of file SemaConcept.h.
Referenced by makeCNF(), makeDNF(), and substituteParameterMappings().
|
inline |
Definition at line 128 of file SemaConcept.h.
Referenced by makeCNF(), makeDNF(), and substituteParameterMappings().
|
delete |
|
inline |
Definition at line 115 of file SemaConcept.h.
References Constraint, and clang::Other.
|
friend |
Definition at line 82 of file SemaConcept.h.
llvm::PointerUnion<AtomicConstraint *, CompoundConstraint> clang::NormalizedConstraint::Constraint |
Definition at line 90 of file SemaConcept.h.
Referenced by operator=().