SemaConcept.h File Reference

#include "clang/AST/ASTConcept.h"
#include "clang/AST/ASTContext.h"
#include "clang/AST/Expr.h"
#include "clang/AST/DeclTemplate.h"
#include "clang/Basic/SourceLocation.h"
#include "llvm/ADT/PointerUnion.h"
#include "llvm/ADT/SmallVector.h"
#include <optional>
#include <string>
#include <utility>

Go to the source code of this file.

Classes
struct	clang::AtomicConstraint
struct	clang::NormalizedConstraint
	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...
struct	clang::NormalizedConstraintPair
struct	clang::FoldExpandedConstraint

Namespaces
namespace	clang
	The JSON file list parser is used to communicate input to InstallAPI.

Typedefs
using	clang::NormalFormConstraint = llvm::PointerUnion< AtomicConstraint *, FoldExpandedConstraint * >
using	clang::NormalForm = llvm::SmallVector< llvm::SmallVector< NormalFormConstraint, 2 >, 4 >

Enumerations
enum	{ clang::ConstraintAlignment = 8 }

Functions
NormalForm	clang::makeCNF (const NormalizedConstraint &Normalized)
NormalForm	clang::makeDNF (const NormalizedConstraint &Normalized)
const NormalizedConstraint *	clang::getNormalizedAssociatedConstraints (Sema &S, NamedDecl *ConstrainedDecl, ArrayRef< const Expr * > AssociatedConstraints)
template<typename AtomicSubsumptionEvaluator >
bool	clang::subsumes (const NormalForm &PDNF, const NormalForm &QCNF, const AtomicSubsumptionEvaluator &E)
template<typename AtomicSubsumptionEvaluator >
bool	clang::subsumes (Sema &S, NamedDecl *DP, ArrayRef< const Expr * > P, NamedDecl *DQ, ArrayRef< const Expr * > Q, bool &Subsumes, const AtomicSubsumptionEvaluator &E)