Emily Boudreaux
6b57738330
Note for now much of the docs is LLM written. This was done to save time and focus on code development. The docs have been LOOSLEY reviewed. However, the code itself has been either fully written by hand or fully reviewed. Therefore, the docs should at the moment be seen as a loose resource rather than authoratiative (and this is on top of the general ability for docs to drift)
63 lines
4.7 KiB
TeX
63 lines
4.7 KiB
TeX
\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}
|