clang::SubsumptionChecker Class Reference

SubsumptionChecker establishes subsumption between two set of constraints. More...

#include "clang/Sema/SemaConcept.h"

Public Types
using	SubsumptionCallable

Public Member Functions
	SubsumptionChecker (Sema &SemaRef, SubsumptionCallable Callable={})
std::optional< bool >	Subsumes (const NamedDecl *DP, ArrayRef< AssociatedConstraint > P, const NamedDecl *DQ, ArrayRef< AssociatedConstraint > Q)
bool	Subsumes (const NormalizedConstraint *P, const NormalizedConstraint *Q)

Detailed Description

SubsumptionChecker establishes subsumption between two set of constraints.

Definition at line 146 of file SemaConcept.h.

Member Typedef Documentation

SubsumptionCallable

using clang::SubsumptionChecker::SubsumptionCallable

Initial value:

 llvm::function_ref<bool(
      const AtomicConstraint &, const AtomicConstraint &)>

Definition at line 148 of file SemaConcept.h.

Constructor & Destructor Documentation

SubsumptionChecker()

SubsumptionChecker::SubsumptionChecker	(	Sema &	SemaRef,
		SubsumptionCallable	Callable = {} )

Definition at line 1894 of file SemaConcept.cpp.

Member Function Documentation

Subsumes() [1/2]

std::optional< bool > SubsumptionChecker::Subsumes	(	const NamedDecl *	DP,
		ArrayRef< AssociatedConstraint >	P,
		const NamedDecl *	DQ,
		ArrayRef< AssociatedConstraint >	Q )

Definition at line 2032 of file SemaConcept.cpp.

References clang::getNormalizedAssociatedConstraints(), and Subsumes().

Referenced by clang::Sema::IsAtLeastAsConstrained(), clang::Sema::MaybeEmitAmbiguousAtomicConstraintsDiagnostic(), Subsumes(), and Subsumes().

Subsumes() [2/2]

bool SubsumptionChecker::Subsumes	(	const NormalizedConstraint *	P,
		const NormalizedConstraint *	Q )

Definition at line 2048 of file SemaConcept.cpp.

References Subsumes().

---

The documentation for this class was generated from the following files:

• include/clang/Sema/SemaConcept.h
• lib/Sema/SemaConcept.cpp