\doxysection{src/include/serif/discretization/domain/ids/validation/concepts.hpp File Reference}
\hypertarget{discretization_2domain_2ids_2validation_2concepts_8hpp}{}\label{discretization_2domain_2ids_2validation_2concepts_8hpp}\index{src/include/serif/discretization/domain/ids/validation/concepts.hpp@{src/include/serif/discretization/domain/ids/validation/concepts.hpp}}


This file defines concepts for domain ID lists in the discretization framework. Specifically we define here concepts used to validate traits of a domain.  


{\ttfamily \#include "{}serif/discretization/domain/ids/concepts.\+hpp"{}}\newline
{\ttfamily \#include "{}serif/discretization/domain/ids/validation/unique\+\_\+ids.\+hpp"{}}\newline
{\ttfamily \#include "{}serif/utils/misc/concepts/type\+\_\+uniqueness.\+hpp"{}}\newline
Include dependency graph for concepts.\+hpp\+:
\nopagebreak
\begin{figure}[H]
\begin{center}
\leavevmode
\includegraphics[width=350pt]{discretization_2domain_2ids_2validation_2concepts_8hpp__incl}
\end{center}
\end{figure}
This graph shows which files directly or indirectly include this file\+:
\nopagebreak
\begin{figure}[H]
\begin{center}
\leavevmode
\includegraphics[width=350pt]{discretization_2domain_2ids_2validation_2concepts_8hpp__dep__incl}
\end{center}
\end{figure}
\doxysubsubsection*{Namespaces}
\begin{DoxyCompactItemize}
\item 
namespace \mbox{\hyperlink{namespaceserif}{serif}}
\item 
namespace \mbox{\hyperlink{namespaceserif_1_1discretization}{serif\+::discretization}}
\item 
namespace \mbox{\hyperlink{namespaceserif_1_1discretization_1_1domain}{serif\+::discretization\+::domain}}
\item 
namespace \mbox{\hyperlink{namespaceserif_1_1discretization_1_1domain_1_1ids}{serif\+::discretization\+::domain\+::ids}}
\item 
namespace \mbox{\hyperlink{namespaceserif_1_1discretization_1_1domain_1_1ids_1_1validation}{serif\+::discretization\+::domain\+::ids\+::validation}}
\end{DoxyCompactItemize}
\doxysubsubsection*{Concepts}
\begin{DoxyCompactItemize}
\item 
concept \mbox{\hyperlink{conceptserif_1_1discretization_1_1domain_1_1ids_1_1validation_1_1_have_unique_domain_i_ds}{serif\+::discretization\+::domain\+::ids\+::validation\+::\+Have\+Unique\+Domain\+IDs}}
\begin{DoxyCompactList}\small\item\em Concept to check if a pack of domain IDs have unique ID values. This is used to ensure that no two domain IDs in a list have the same ID. \end{DoxyCompactList}\item 
concept \mbox{\hyperlink{conceptserif_1_1discretization_1_1domain_1_1ids_1_1validation_1_1_have_unique_boundary_i_ds}{serif\+::discretization\+::domain\+::ids\+::validation\+::\+Have\+Unique\+Boundary\+IDs}}
\begin{DoxyCompactList}\small\item\em Concept to check if a pack of boundary IDs have unique ID values. This is used to ensure that no two boundary IDs in a list have the same ID. \end{DoxyCompactList}\item 
concept \mbox{\hyperlink{conceptserif_1_1discretization_1_1domain_1_1ids_1_1validation_1_1_have_unique_domains}{serif\+::discretization\+::domain\+::ids\+::validation\+::\+Have\+Unique\+Domains}}
\begin{DoxyCompactList}\small\item\em Concept to check if a pack of domain IDs have unique domain types. This is used to ensure that no two domain IDs in a list refer to the same domain type. \end{DoxyCompactList}\item 
concept \mbox{\hyperlink{conceptserif_1_1discretization_1_1domain_1_1ids_1_1validation_1_1_have_unique_boundaries}{serif\+::discretization\+::domain\+::ids\+::validation\+::\+Have\+Unique\+Boundaries}}
\begin{DoxyCompactList}\small\item\em Concept to check if a pack of boundary IDs have unique boundary types. This is used to ensure that no two boundary IDs in a list refer to the same boundary type. \end{DoxyCompactList}\item 
concept \mbox{\hyperlink{conceptserif_1_1discretization_1_1domain_1_1ids_1_1validation_1_1_are_distinct_domain_i_ds}{serif\+::discretization\+::domain\+::ids\+::validation\+::\+Are\+Distinct\+Domain\+IDs}}
\begin{DoxyCompactList}\small\item\em Concept to check if a pack of domain IDs are distinct. This means that each ID is a valid domain ID, no two IDs have the same integer value, and no two IDs refer to the same domain type. \end{DoxyCompactList}\item 
concept \mbox{\hyperlink{conceptserif_1_1discretization_1_1domain_1_1ids_1_1validation_1_1_are_distinct_boundary_i_ds}{serif\+::discretization\+::domain\+::ids\+::validation\+::\+Are\+Distinct\+Boundary\+IDs}}
\begin{DoxyCompactList}\small\item\em Concept to check if a pack of boundary IDs are distinct. This means that each ID is a valid boundary ID, no two IDs have the same integer value, and no two IDs refer to the same boundary type. \end{DoxyCompactList}\end{DoxyCompactItemize}


\doxysubsection{Detailed Description}
This file defines concepts for domain ID lists in the discretization framework. Specifically we define here concepts used to validate traits of a domain. 

\begin{DoxyAuthor}{Author}
Emily M. Boudreaux 
\end{DoxyAuthor}