clang::NormalizedConstraint Struct Reference

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"

Collaboration diagram for clang::NormalizedConstraint:

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

Detailed Description

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.

Member Typedef Documentation

CompoundConstraint

using clang::NormalizedConstraint::CompoundConstraint = llvm::PointerIntPair< std::pair<NormalizedConstraint, NormalizedConstraint> *, 1, CompoundConstraintKind>

Definition at line 86 of file SemaConcept.h.

Member Enumeration Documentation

CompoundConstraintKind

enum clang::NormalizedConstraint::CompoundConstraintKind

Enumerator
CCK_Conjunction
CCK_Disjunction

Definition at line 84 of file SemaConcept.h.

Constructor & Destructor Documentation

NormalizedConstraint() [1/4]

clang::NormalizedConstraint::NormalizedConstraint ( AtomicConstraint *  C )

inline

Definition at line 92 of file SemaConcept.h.

NormalizedConstraint() [2/4]

clang::NormalizedConstraint::NormalizedConstraint ( ASTContext &  C, NormalizedConstraint  LHS, NormalizedConstraint  RHS, CompoundConstraintKind  Kind  )

inline

Definition at line 93 of file SemaConcept.h.

NormalizedConstraint() [3/4]

clang::NormalizedConstraint::NormalizedConstraint ( ASTContext &  C, const NormalizedConstraint &  Other  )

inline

Definition at line 99 of file SemaConcept.h.

NormalizedConstraint() [4/4]

clang::NormalizedConstraint::NormalizedConstraint ( NormalizedConstraint &&  Other )

inline

Definition at line 110 of file SemaConcept.h.

Member Function Documentation

getAtomicConstraint()

AtomicConstraint * clang::NormalizedConstraint::getAtomicConstraint ( ) const

inline

Definition at line 140 of file SemaConcept.h.

Referenced by makeCNF(), makeDNF(), and substituteParameterMappings().

getCompoundKind()

CompoundConstraintKind clang::NormalizedConstraint::getCompoundKind ( ) const

inline

Definition at line 123 of file SemaConcept.h.

Referenced by makeCNF(), and makeDNF().

getLHS()

NormalizedConstraint & clang::NormalizedConstraint::getLHS ( ) const

inline

Definition at line 130 of file SemaConcept.h.

Referenced by makeCNF(), makeDNF(), and substituteParameterMappings().

getRHS()

NormalizedConstraint & clang::NormalizedConstraint::getRHS ( ) const

inline

Definition at line 135 of file SemaConcept.h.

Referenced by makeCNF(), makeDNF(), and substituteParameterMappings().

isAtomic()

bool clang::NormalizedConstraint::isAtomic ( ) const

inline

Definition at line 128 of file SemaConcept.h.

Referenced by makeCNF(), makeDNF(), and substituteParameterMappings().

operator=() [1/2]

NormalizedConstraint & clang::NormalizedConstraint::operator= ( const NormalizedConstraint &  Other )

delete

operator=() [2/2]

NormalizedConstraint & clang::NormalizedConstraint::operator= ( NormalizedConstraint &&  Other )

inline

Definition at line 115 of file SemaConcept.h.

References Constraint.

Friends And Related Function Documentation

Sema

friend class Sema

friend

Definition at line 82 of file SemaConcept.h.

Member Data Documentation

Constraint

llvm::PointerUnion<AtomicConstraint *, CompoundConstraint> clang::NormalizedConstraint::Constraint

Definition at line 90 of file SemaConcept.h.

Referenced by operator=().

---

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

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