Files
MeanField_SERiF/docs/xml/validation_8hpp.xml
Emily Boudreaux 6b57738330 docs(docs): built docs
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)
2026-11-09 14:09:44 -05:00

646 lines
36 KiB
XML

<?xml version='1.0' encoding='UTF-8' standalone='no'?>
<doxygen xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="compound.xsd" version="1.13.2" xml:lang="en-US">
<compounddef id="validation_8hpp" kind="file" language="C++">
<compoundname>validation.hpp</compoundname>
<includes local="no">type_traits</includes>
<includes refid="discretization_2domain_2concepts_8hpp" local="yes">serif/discretization/domain/concepts.hpp</includes>
<includes refid="discretization_2domain_2ids_2lists_2concepts_8hpp" local="yes">serif/discretization/domain/ids/lists/concepts.hpp</includes>
<includes refid="discretization_2domain_2relation_2concepts_8hpp" local="yes">serif/discretization/domain/relation/concepts.hpp</includes>
<includes refid="discretization_2domain_2relation_2lists_2concepts_8hpp" local="yes">serif/discretization/domain/relation/lists/concepts.hpp</includes>
<includes refid="relation__list_8hpp" local="yes">serif/discretization/domain/relation/lists/relation_list.hpp</includes>
<includes refid="resolver_8hpp" local="yes">serif/discretization/domain/resolver.hpp</includes>
<includedby refid="discretization_2domain_2relation_2validation_2concepts_8hpp" local="yes">src/include/serif/discretization/domain/relation/validation/concepts.hpp</includedby>
<incdepgraph>
<node id="3">
<label>serif/discretization/domain/concepts.hpp</label>
<link refid="discretization_2domain_2concepts_8hpp"/>
<childnode refid="4" relation="include">
</childnode>
<childnode refid="5" relation="include">
</childnode>
<childnode refid="6" relation="include">
</childnode>
<childnode refid="7" relation="include">
</childnode>
<childnode refid="8" relation="include">
</childnode>
<childnode refid="9" relation="include">
</childnode>
<childnode refid="10" relation="include">
</childnode>
<childnode refid="11" relation="include">
</childnode>
<childnode refid="12" relation="include">
</childnode>
</node>
<node id="18">
<label>serif/discretization/domain/ids/boundary.hpp</label>
<link refid="ids_2boundary_8hpp"/>
<childnode refid="5" relation="include">
</childnode>
<childnode refid="3" relation="include">
</childnode>
</node>
<node id="17">
<label>serif/discretization/domain/ids/concepts.hpp</label>
<link refid="discretization_2domain_2ids_2concepts_8hpp"/>
<childnode refid="18" relation="include">
</childnode>
<childnode refid="19" relation="include">
</childnode>
</node>
<node id="19">
<label>serif/discretization/domain/ids/domain.hpp</label>
<link refid="domain_8hpp"/>
<childnode refid="5" relation="include">
</childnode>
<childnode refid="3" relation="include">
</childnode>
</node>
<node id="13">
<label>serif/discretization/domain/ids/lists/concepts.hpp</label>
<link refid="discretization_2domain_2ids_2lists_2concepts_8hpp"/>
<childnode refid="14" relation="include">
</childnode>
</node>
<node id="15">
<label>serif/discretization/domain/ids/lists/lists.hpp</label>
<link refid="lists_8hpp"/>
<childnode refid="7" relation="include">
</childnode>
<childnode refid="4" relation="include">
</childnode>
<childnode refid="16" relation="include">
</childnode>
<childnode refid="12" relation="include">
</childnode>
</node>
<node id="14">
<label>serif/discretization/domain/ids/lists/traits.hpp</label>
<link refid="discretization_2domain_2ids_2lists_2traits_8hpp"/>
<childnode refid="15" relation="include">
</childnode>
</node>
<node id="16">
<label>serif/discretization/domain/ids/validation/concepts.hpp</label>
<link refid="discretization_2domain_2ids_2validation_2concepts_8hpp"/>
<childnode refid="17" relation="include">
</childnode>
<childnode refid="20" relation="include">
</childnode>
<childnode refid="22" relation="include">
</childnode>
</node>
<node id="20">
<label>serif/discretization/domain/ids/validation/unique_ids.hpp</label>
<link refid="unique__ids_8hpp"/>
<childnode refid="7" relation="include">
</childnode>
<childnode refid="21" relation="include">
</childnode>
<childnode refid="2" relation="include">
</childnode>
<childnode refid="12" relation="include">
</childnode>
</node>
<node id="24">
<label>serif/discretization/domain/relation/concepts.hpp</label>
<link refid="discretization_2domain_2relation_2concepts_8hpp"/>
<childnode refid="25" relation="include">
</childnode>
<childnode refid="11" relation="include">
</childnode>
</node>
<node id="27">
<label>serif/discretization/domain/relation/lists/concepts.hpp</label>
<link refid="discretization_2domain_2relation_2lists_2concepts_8hpp"/>
<childnode refid="28" relation="include">
</childnode>
</node>
<node id="29">
<label>serif/discretization/domain/relation/lists/relation_list.hpp</label>
<link refid="relation__list_8hpp"/>
<childnode refid="4" relation="include">
</childnode>
<childnode refid="24" relation="include">
</childnode>
<childnode refid="12" relation="include">
</childnode>
</node>
<node id="28">
<label>serif/discretization/domain/relation/lists/traits.hpp</label>
<link refid="discretization_2domain_2relation_2lists_2traits_8hpp"/>
<childnode refid="29" relation="include">
</childnode>
</node>
<node id="25">
<label>serif/discretization/domain/relation/relations.hpp</label>
<link refid="discretization_2domain_2relation_2relations_8hpp"/>
<childnode refid="5" relation="include">
</childnode>
<childnode refid="3" relation="include">
</childnode>
<childnode refid="26" relation="include">
</childnode>
<childnode refid="12" relation="include">
</childnode>
</node>
<node id="1">
<label>src/include/serif/discretization/domain/relation/validation/validation.hpp</label>
<link refid="validation_8hpp"/>
<childnode refid="2" relation="include">
</childnode>
<childnode refid="3" relation="include">
</childnode>
<childnode refid="13" relation="include">
</childnode>
<childnode refid="24" relation="include">
</childnode>
<childnode refid="27" relation="include">
</childnode>
<childnode refid="29" relation="include">
</childnode>
<childnode refid="30" relation="include">
</childnode>
</node>
<node id="30">
<label>serif/discretization/domain/resolver.hpp</label>
<link refid="resolver_8hpp"/>
<childnode refid="3" relation="include">
</childnode>
<childnode refid="13" relation="include">
</childnode>
<childnode refid="15" relation="include">
</childnode>
</node>
<node id="10">
<label>serif/discretization/domain/types.hpp</label>
<link refid="types_8hpp"/>
<childnode refid="5" relation="include">
</childnode>
</node>
<node id="26">
<label>serif/utils/misc/concepts/numeric.hpp</label>
<link refid="numeric_8hpp"/>
<childnode refid="21" relation="include">
</childnode>
<childnode refid="2" relation="include">
</childnode>
</node>
<node id="22">
<label>serif/utils/misc/concepts/type_uniqueness.hpp</label>
<link refid="concepts_2type__uniqueness_8hpp"/>
<childnode refid="23" relation="include">
</childnode>
</node>
<node id="11">
<label>serif/utils/misc/std_helper/cleaning.hpp</label>
<link refid="cleaning_8hpp"/>
<childnode refid="2" relation="include">
</childnode>
</node>
<node id="12">
<label>serif/utils/misc/std_helper/variadic_cleaning.hpp</label>
<link refid="variadic__cleaning_8hpp"/>
<childnode refid="4" relation="include">
</childnode>
</node>
<node id="23">
<label>serif/utils/misc/traits/type_uniqueness.hpp</label>
<link refid="traits_2type__uniqueness_8hpp"/>
<childnode refid="11" relation="include">
</childnode>
</node>
<node id="7">
<label>array</label>
</node>
<node id="21">
<label>concepts</label>
</node>
<node id="4">
<label>cstddef</label>
</node>
<node id="8">
<label>format</label>
</node>
<node id="9">
<label>numeric</label>
</node>
<node id="6">
<label>span</label>
</node>
<node id="5">
<label>string_view</label>
</node>
<node id="2">
<label>type_traits</label>
</node>
</incdepgraph>
<invincdepgraph>
<node id="9">
<label>src/compile_time_checks/serif/geometry/deformation_meanfield.cpp</label>
<link refid="deformation__meanfield_8cpp"/>
</node>
<node id="5">
<label>src/compile_time_checks/serif/geometry/surface_boundary.cpp</label>
<link refid="surface__boundary_8cpp"/>
</node>
<node id="6">
<label>src/compile_time_checks/serif/operators/computation_owners.cpp</label>
<link refid="computation__owners_8cpp"/>
</node>
<node id="7">
<label>src/compile_time_checks/serif/operators/plan.cpp</label>
<link refid="operators_2plan_8cpp"/>
</node>
<node id="28">
<label>src/compile_time_checks/serif/operators/serial_backend.cpp</label>
<link refid="serial__backend_8cpp"/>
</node>
<node id="17">
<label>src/include/serif/discretization/backend/mfem/boundary_trace.hpp</label>
<link refid="boundary__trace_8hpp"/>
<childnode refid="18" relation="include">
</childnode>
<childnode refid="23" relation="include">
</childnode>
</node>
<node id="16">
<label>src/include/serif/discretization/backend/mfem/dof_selection.hpp</label>
<link refid="dof__selection_8hpp"/>
<childnode refid="17" relation="include">
</childnode>
<childnode refid="24" relation="include">
</childnode>
<childnode refid="25" relation="include">
</childnode>
<childnode refid="29" relation="include">
</childnode>
</node>
<node id="33">
<label>src/include/serif/discretization/backend/mfem/mass_diagonal.hpp</label>
<link refid="mass__diagonal_8hpp"/>
<childnode refid="34" relation="include">
</childnode>
<childnode refid="35" relation="include">
</childnode>
</node>
<node id="24">
<label>src/include/serif/discretization/backend/mfem/mfem_backend.hpp</label>
<link refid="mfem__backend_8hpp"/>
</node>
<node id="25">
<label>src/include/serif/discretization/backend/mfem/point_dofs.hpp</label>
<link refid="point__dofs_8hpp"/>
<childnode refid="24" relation="include">
</childnode>
<childnode refid="26" relation="include">
</childnode>
</node>
<node id="15">
<label>src/include/serif/discretization/backend/mfem/term_binding.hpp</label>
<link refid="term__binding_8hpp"/>
<childnode refid="16" relation="include">
</childnode>
<childnode refid="33" relation="include">
</childnode>
<childnode refid="24" relation="include">
</childnode>
<childnode refid="36" relation="include">
</childnode>
</node>
<node id="2">
<label>src/include/serif/discretization/domain/relation/validation/concepts.hpp</label>
<link refid="discretization_2domain_2relation_2validation_2concepts_8hpp"/>
<childnode refid="3" relation="include">
</childnode>
</node>
<node id="1">
<label>src/include/serif/discretization/domain/relation/validation/validation.hpp</label>
<link refid="validation_8hpp"/>
<childnode refid="2" relation="include">
</childnode>
</node>
<node id="14">
<label>src/include/serif/discretization/domain/schema/concepts.hpp</label>
<link refid="discretization_2domain_2schema_2concepts_8hpp"/>
<childnode refid="15" relation="include">
</childnode>
<childnode refid="44" relation="include">
</childnode>
<childnode refid="45" relation="include">
</childnode>
<childnode refid="46" relation="include">
</childnode>
<childnode refid="47" relation="include">
</childnode>
<childnode refid="48" relation="include">
</childnode>
<childnode refid="49" relation="include">
</childnode>
<childnode refid="8" relation="include">
</childnode>
</node>
<node id="3">
<label>src/include/serif/discretization/domain/schema/domain_schema.hpp</label>
<link refid="domain__schema_8hpp"/>
<childnode refid="4" relation="include">
</childnode>
<childnode refid="13" relation="include">
</childnode>
</node>
<node id="4">
<label>src/include/serif/discretization/domain/schema/schemas.hpp</label>
<link refid="schemas_8hpp"/>
<childnode refid="5" relation="include">
</childnode>
<childnode refid="6" relation="include">
</childnode>
<childnode refid="7" relation="include">
</childnode>
<childnode refid="8" relation="include">
</childnode>
</node>
<node id="13">
<label>src/include/serif/discretization/domain/schema/traits.hpp</label>
<link refid="discretization_2domain_2schema_2traits_8hpp"/>
<childnode refid="14" relation="include">
</childnode>
</node>
<node id="44">
<label>src/include/serif/discretization/domain/schema/utils.hpp</label>
<link refid="utils_8hpp"/>
</node>
<node id="45">
<label>src/include/serif/discretization/domain/schema/validation/all.hpp</label>
<link refid="all_8hpp"/>
</node>
<node id="46">
<label>src/include/serif/discretization/domain/schema/validation/boundary.hpp</label>
<link refid="schema_2validation_2boundary_8hpp"/>
<childnode refid="45" relation="include">
</childnode>
</node>
<node id="47">
<label>src/include/serif/discretization/domain/schema/validation/connected.hpp</label>
<link refid="connected_8hpp"/>
<childnode refid="45" relation="include">
</childnode>
</node>
<node id="48">
<label>src/include/serif/discretization/domain/schema/validation/inscribed.hpp</label>
<link refid="inscribed_8hpp"/>
<childnode refid="45" relation="include">
</childnode>
</node>
<node id="49">
<label>src/include/serif/discretization/domain/schema/validation/validator.hpp</label>
<link refid="validator_8hpp"/>
<childnode refid="45" relation="include">
</childnode>
<childnode refid="46" relation="include">
</childnode>
<childnode refid="47" relation="include">
</childnode>
<childnode refid="48" relation="include">
</childnode>
</node>
<node id="10">
<label>src/include/serif/geometry/deformation/backend/mfem/computations.hpp</label>
<link refid="geometry_2deformation_2backend_2mfem_2computations_8hpp"/>
</node>
<node id="8">
<label>src/include/serif/geometry/deformation/backend/mfem/inputs.hpp</label>
<link refid="inputs_8hpp"/>
<childnode refid="9" relation="include">
</childnode>
<childnode refid="10" relation="include">
</childnode>
<childnode refid="11" relation="include">
</childnode>
<childnode refid="12" relation="include">
</childnode>
</node>
<node id="11">
<label>src/include/serif/geometry/deformation/backend/mfem/volume_displacement.hpp</label>
<link refid="volume__displacement_8hpp"/>
</node>
<node id="20">
<label>src/include/serif/geometry/surface/backend/mfem/boundary_computations.hpp</label>
<link refid="boundary__computations_8hpp"/>
<childnode refid="5" relation="include">
</childnode>
<childnode refid="21" relation="include">
</childnode>
</node>
<node id="18">
<label>src/include/serif/geometry/surface/backend/mfem/boundary_data.hpp</label>
<link refid="boundary__data_8hpp"/>
<childnode refid="19" relation="include">
</childnode>
<childnode refid="22" relation="include">
</childnode>
</node>
<node id="19">
<label>src/include/serif/geometry/surface/backend/mfem/boundary_inputs.hpp</label>
<link refid="boundary__inputs_8hpp"/>
<childnode refid="20" relation="include">
</childnode>
</node>
<node id="22">
<label>src/include/serif/geometry/surface/backend/mfem/boundary_rows.hpp</label>
<link refid="boundary__rows_8hpp"/>
<childnode refid="21" relation="include">
</childnode>
</node>
<node id="21">
<label>src/include/serif/geometry/surface/backend/mfem/pressure_boundary.hpp</label>
<link refid="pressure__boundary_8hpp"/>
</node>
<node id="37">
<label>src/include/serif/operators/backend/mfem/element_preparation.hpp</label>
<link refid="element__preparation_8hpp"/>
<childnode refid="38" relation="include">
</childnode>
</node>
<node id="43">
<label>src/include/serif/operators/backend/mfem/jacobian_operator.hpp</label>
<link refid="jacobian__operator_8hpp"/>
<childnode refid="6" relation="include">
</childnode>
</node>
<node id="27">
<label>src/include/serif/operators/backend/mfem/nodal_computations.hpp</label>
<link refid="nodal__computations_8hpp"/>
<childnode refid="6" relation="include">
</childnode>
<childnode refid="28" relation="include">
</childnode>
</node>
<node id="29">
<label>src/include/serif/operators/backend/mfem/nodal_data.hpp</label>
<link refid="nodal__data_8hpp"/>
<childnode refid="30" relation="include">
</childnode>
<childnode refid="26" relation="include">
</childnode>
<childnode refid="31" relation="include">
</childnode>
</node>
<node id="30">
<label>src/include/serif/operators/backend/mfem/nodal_evaluation.hpp</label>
<link refid="nodal__evaluation_8hpp"/>
<childnode refid="27" relation="include">
</childnode>
</node>
<node id="26">
<label>src/include/serif/operators/backend/mfem/nodal_inputs.hpp</label>
<link refid="nodal__inputs_8hpp"/>
<childnode refid="27" relation="include">
</childnode>
</node>
<node id="31">
<label>src/include/serif/operators/backend/mfem/nodal_rows.hpp</label>
<link refid="nodal__rows_8hpp"/>
<childnode refid="32" relation="include">
</childnode>
</node>
<node id="32">
<label>src/include/serif/operators/backend/mfem/point_border.hpp</label>
<link refid="point__border_8hpp"/>
</node>
<node id="36">
<label>src/include/serif/operators/backend/mfem/term_coefficients.hpp</label>
<link refid="term__coefficients_8hpp"/>
<childnode refid="18" relation="include">
</childnode>
<childnode refid="37" relation="include">
</childnode>
<childnode refid="26" relation="include">
</childnode>
<childnode refid="40" relation="include">
</childnode>
</node>
<node id="42">
<label>src/include/serif/operators/backend/mfem/volume_application.hpp</label>
<link refid="volume__application_8hpp"/>
<childnode refid="43" relation="include">
</childnode>
</node>
<node id="39">
<label>src/include/serif/operators/backend/mfem/volume_computations.hpp</label>
<link refid="volume__computations_8hpp"/>
<childnode refid="6" relation="include">
</childnode>
</node>
<node id="40">
<label>src/include/serif/operators/backend/mfem/volume_data.hpp</label>
<link refid="volume__data_8hpp"/>
<childnode refid="41" relation="include">
</childnode>
<childnode refid="38" relation="include">
</childnode>
</node>
<node id="41">
<label>src/include/serif/operators/backend/mfem/volume_inputs.hpp</label>
<link refid="volume__inputs_8hpp"/>
<childnode refid="11" relation="include">
</childnode>
<childnode refid="42" relation="include">
</childnode>
<childnode refid="39" relation="include">
</childnode>
</node>
<node id="38">
<label>src/include/serif/operators/backend/mfem/volume_stages.hpp</label>
<link refid="volume__stages_8hpp"/>
<childnode refid="39" relation="include">
</childnode>
</node>
<node id="34">
<label>src/include/serif/solver/normalization/backend/mfem/metric_computations.hpp</label>
<link refid="metric__computations_8hpp"/>
</node>
<node id="23">
<label>src/lib/serif/discretization/backend/mfem/boundary_trace.cpp</label>
<link refid="boundary__trace_8cpp"/>
</node>
<node id="35">
<label>src/lib/serif/discretization/backend/mfem/mass_diagonal.cpp</label>
<link refid="mass__diagonal_8cpp"/>
</node>
<node id="12">
<label>src/lib/serif/geometry/deformation/backend/mfem/inputs.cpp</label>
<link refid="inputs_8cpp"/>
</node>
</invincdepgraph>
<innerclass refid="structserif_1_1discretization_1_1domain_1_1relation_1_1validation_1_1_relation_uses_registered_ea6e10ab4070c2d283a3d1aba54bd0b95" prot="public">serif::discretization::domain::relation::validation::RelationUsesRegisteredEntities&lt; FullyConnected&lt; DomainT &gt;, DomainIDsT, BoundaryIDsT &gt;</innerclass>
<innerclass refid="structserif_1_1discretization_1_1domain_1_1relation_1_1validation_1_1_relation_uses_registered_e061a6c8f2519bba1ed81730b07977af0" prot="public">serif::discretization::domain::relation::validation::RelationUsesRegisteredEntities&lt; Inscribed&lt; InnerDomainT, OuterDomainT &gt;, DomainIDsT, BoundaryIDsT &gt;</innerclass>
<innerclass refid="structserif_1_1discretization_1_1domain_1_1relation_1_1validation_1_1_relation_uses_registered_e3275c2719d82b353d56c4a3ba2639119" prot="public">serif::discretization::domain::relation::validation::RelationUsesRegisteredEntities&lt; DomainBoundary&lt; BoundaryT, DomainTs... &gt;, DomainIDsT, BoundaryIDsT &gt;</innerclass>
<innerclass refid="structserif_1_1discretization_1_1domain_1_1relation_1_1validation_1_1_relations_use_registered_e35398f9ddb35428b81fce4de998872b0" prot="public">serif::discretization::domain::relation::validation::RelationsUseRegisteredEntities&lt; DomainIDsT, BoundaryIDsT, lists::RelationList&lt; RelationTs... &gt; &gt;</innerclass>
<innernamespace refid="namespaceserif">serif</innernamespace>
<innernamespace refid="namespaceserif_1_1discretization">serif::discretization</innernamespace>
<innernamespace refid="namespaceserif_1_1discretization_1_1domain">serif::discretization::domain</innernamespace>
<innernamespace refid="namespaceserif_1_1discretization_1_1domain_1_1relation">serif::discretization::domain::relation</innernamespace>
<innernamespace refid="namespaceserif_1_1discretization_1_1domain_1_1relation_1_1validation">serif::discretization::domain::relation::validation</innernamespace>
<briefdescription>
<para>Compile-time validation of relations in the discretization framework. This file provides utilities to check if relations use registered entities based on provided domain and boundary IDs. </para>
</briefdescription>
<detaileddescription>
<para><simplesect kind="author"><para>Emily M. Boudreaux </para>
</simplesect>
<simplesect kind="note"><para>This header is primarily split into a singular and a plural section. The plural section simply folds over a pack to invoke the singular section. </para>
</simplesect>
</para>
</detaileddescription>
<programlisting>
<codeline lineno="1"><highlight class="preprocessor">#pragma<sp/>once</highlight><highlight class="normal"></highlight></codeline>
<codeline lineno="2"><highlight class="normal"></highlight></codeline>
<codeline lineno="10"><highlight class="normal"></highlight></codeline>
<codeline lineno="11"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/>&lt;type_traits&gt;</highlight><highlight class="normal"></highlight></codeline>
<codeline lineno="12"><highlight class="normal"></highlight></codeline>
<codeline lineno="13"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/>&quot;<ref refid="discretization_2domain_2concepts_8hpp" kindref="compound">serif/discretization/domain/concepts.hpp</ref>&quot;</highlight><highlight class="normal"></highlight></codeline>
<codeline lineno="14"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/>&quot;<ref refid="discretization_2domain_2ids_2lists_2concepts_8hpp" kindref="compound">serif/discretization/domain/ids/lists/concepts.hpp</ref>&quot;</highlight><highlight class="normal"></highlight></codeline>
<codeline lineno="15"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/>&quot;<ref refid="discretization_2domain_2relation_2concepts_8hpp" kindref="compound">serif/discretization/domain/relation/concepts.hpp</ref>&quot;</highlight><highlight class="normal"></highlight></codeline>
<codeline lineno="16"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/>&quot;<ref refid="discretization_2domain_2relation_2lists_2concepts_8hpp" kindref="compound">serif/discretization/domain/relation/lists/concepts.hpp</ref>&quot;</highlight><highlight class="normal"></highlight></codeline>
<codeline lineno="17"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/>&quot;<ref refid="relation__list_8hpp" kindref="compound">serif/discretization/domain/relation/lists/relation_list.hpp</ref>&quot;</highlight><highlight class="normal"></highlight></codeline>
<codeline lineno="18"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/>&quot;<ref refid="resolver_8hpp" kindref="compound">serif/discretization/domain/resolver.hpp</ref>&quot;</highlight><highlight class="normal"></highlight></codeline>
<codeline lineno="19"><highlight class="normal"></highlight></codeline>
<codeline lineno="20"><highlight class="normal"></highlight><highlight class="keyword">namespace<sp/></highlight><highlight class="normal"><ref refid="namespaceserif_1_1discretization_1_1domain_1_1relation_1_1validation" kindref="compound">serif::discretization::domain::relation::validation</ref><sp/>{</highlight></codeline>
<codeline lineno="21"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">ids::lists::IsDomainIDList;</highlight></codeline>
<codeline lineno="22"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">ids::lists::IsBoundaryIDList;</highlight></codeline>
<codeline lineno="23"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">lists::IsRelationList;</highlight></codeline>
<codeline lineno="24"><highlight class="normal"></highlight></codeline>
<codeline lineno="25"><highlight class="normal"></highlight></codeline>
<codeline lineno="36"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/>&lt;IsRelation<sp/>RelationT,<sp/>IsDomainIDList<sp/>DomainIDsT,<sp/>IsBoundaryIDList<sp/>BoundaryIDsT&gt;</highlight></codeline>
<codeline lineno="37" refid="structserif_1_1discretization_1_1domain_1_1relation_1_1validation_1_1_relation_uses_registered_entities" refkind="compound"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">struct<sp/></highlight><highlight class="normal"><ref refid="structserif_1_1discretization_1_1domain_1_1relation_1_1validation_1_1_relation_uses_registered_entities" kindref="compound">RelationUsesRegisteredEntities</ref>;</highlight></codeline>
<codeline lineno="38"><highlight class="normal"></highlight></codeline>
<codeline lineno="47"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/>&lt;IsDomainOrSet<sp/>DomainT,<sp/>IsDomainIDList<sp/>DomainIDsT,<sp/>IsBoundaryIDList<sp/>BoundaryIDsT&gt;</highlight></codeline>
<codeline lineno="48" refid="structserif_1_1discretization_1_1domain_1_1relation_1_1validation_1_1_relation_uses_registered_ea6e10ab4070c2d283a3d1aba54bd0b95" refkind="compound"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">struct<sp/></highlight><highlight class="normal"><ref refid="structserif_1_1discretization_1_1domain_1_1relation_1_1validation_1_1_relation_uses_registered_entities" kindref="compound">RelationUsesRegisteredEntities</ref>&lt;<ref refid="structserif_1_1discretization_1_1domain_1_1relation_1_1_fully_connected" kindref="compound">FullyConnected</ref>&lt;DomainT&gt;,<sp/>DomainIDsT,<sp/>BoundaryIDsT&gt;<sp/>:</highlight></codeline>
<codeline lineno="49"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>std::bool_constant&lt;DomainIDResolver&lt;DomainT,<sp/>DomainIDsT&gt;::registered&gt;<sp/>{<sp/>};</highlight></codeline>
<codeline lineno="50"><highlight class="normal"></highlight></codeline>
<codeline lineno="60"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/>&lt;IsDomainOrSet<sp/>InnerDomainT,<sp/>IsDomainOrSet<sp/>OuterDomainT,<sp/>IsDomainIDList<sp/>DomainIDsT,<sp/>IsBoundaryIDList<sp/>BoundaryIDsT&gt;</highlight></codeline>
<codeline lineno="61" refid="structserif_1_1discretization_1_1domain_1_1relation_1_1validation_1_1_relation_uses_registered_e061a6c8f2519bba1ed81730b07977af0" refkind="compound"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">struct<sp/></highlight><highlight class="normal"><ref refid="structserif_1_1discretization_1_1domain_1_1relation_1_1validation_1_1_relation_uses_registered_entities" kindref="compound">RelationUsesRegisteredEntities</ref>&lt;<ref refid="structserif_1_1discretization_1_1domain_1_1relation_1_1_inscribed" kindref="compound">Inscribed</ref>&lt;InnerDomainT,<sp/>OuterDomainT&gt;,<sp/>DomainIDsT,<sp/>BoundaryIDsT&gt;<sp/>:</highlight></codeline>
<codeline lineno="62"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>std::bool_constant&lt;</highlight></codeline>
<codeline lineno="63"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>DomainIDResolver&lt;InnerDomainT,<sp/>DomainIDsT&gt;::registered<sp/>&amp;&amp;</highlight></codeline>
<codeline lineno="64"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>DomainIDResolver&lt;OuterDomainT,<sp/>DomainIDsT&gt;::registered&gt;<sp/>{<sp/>};</highlight></codeline>
<codeline lineno="65"><highlight class="normal"></highlight></codeline>
<codeline lineno="77"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/>&lt;<ref refid="conceptserif_1_1discretization_1_1domain_1_1_is_boundary" kindref="compound">IsBoundary</ref><sp/>BoundaryT,<sp/><ref refid="conceptserif_1_1discretization_1_1domain_1_1_is_domain_or_set" kindref="compound">IsDomainOrSet</ref>...<sp/>DomainTs,<sp/>IsDomainIDList<sp/>DomainIDsT,<sp/>IsBoundaryIDList<sp/>BoundaryIDsT&gt;</highlight></codeline>
<codeline lineno="78" refid="structserif_1_1discretization_1_1domain_1_1relation_1_1validation_1_1_relation_uses_registered_e3275c2719d82b353d56c4a3ba2639119" refkind="compound"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">struct<sp/></highlight><highlight class="normal"><ref refid="structserif_1_1discretization_1_1domain_1_1relation_1_1validation_1_1_relation_uses_registered_entities" kindref="compound">RelationUsesRegisteredEntities</ref>&lt;<ref refid="structserif_1_1discretization_1_1domain_1_1relation_1_1_domain_boundary" kindref="compound">DomainBoundary</ref>&lt;BoundaryT,<sp/>DomainTs...&gt;,<sp/>DomainIDsT,<sp/>BoundaryIDsT&gt;<sp/>:</highlight></codeline>
<codeline lineno="79"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>std::bool_constant&lt;</highlight></codeline>
<codeline lineno="80"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>BoundaryIDResolver&lt;BoundaryT,<sp/>BoundaryIDsT&gt;::registered<sp/>&amp;&amp;</highlight></codeline>
<codeline lineno="81"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>(DomainIDResolver&lt;DomainTs,<sp/>DomainIDsT&gt;::registered<sp/>&amp;&amp;<sp/>...)&gt;<sp/>{<sp/>};</highlight></codeline>
<codeline lineno="82"><highlight class="normal"></highlight></codeline>
<codeline lineno="90"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/>&lt;IsDomainIDList<sp/>DomainIDsT,<sp/>IsBoundaryIDList<sp/>BoundaryIDsT,<sp/></highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/>RelationListT&gt;</highlight></codeline>
<codeline lineno="91" refid="structserif_1_1discretization_1_1domain_1_1relation_1_1validation_1_1_relations_use_registered_entities" refkind="compound"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">struct<sp/></highlight><highlight class="normal"><ref refid="structserif_1_1discretization_1_1domain_1_1relation_1_1validation_1_1_relations_use_registered_entities" kindref="compound">RelationsUseRegisteredEntities</ref>;</highlight></codeline>
<codeline lineno="92"><highlight class="normal"></highlight></codeline>
<codeline lineno="93"><highlight class="normal"></highlight></codeline>
<codeline lineno="103"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/>&lt;IsDomainIDList<sp/>DomainIDsT,<sp/>IsBoundaryIDList<sp/>BoundaryIDsT,<sp/><ref refid="conceptserif_1_1discretization_1_1domain_1_1relation_1_1_is_relation" kindref="compound">IsRelation</ref>...<sp/>RelationTs&gt;</highlight></codeline>
<codeline lineno="104" refid="structserif_1_1discretization_1_1domain_1_1relation_1_1validation_1_1_relations_use_registered_e35398f9ddb35428b81fce4de998872b0" refkind="compound"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">struct<sp/></highlight><highlight class="normal"><ref refid="structserif_1_1discretization_1_1domain_1_1relation_1_1validation_1_1_relations_use_registered_entities" kindref="compound">RelationsUseRegisteredEntities</ref>&lt;DomainIDsT,<sp/>BoundaryIDsT,<sp/><ref refid="namespaceserif_1_1discretization_1_1domain_1_1relation_1_1lists" kindref="compound">lists</ref>::RelationList&lt;RelationTs...&gt;&gt;<sp/>:</highlight></codeline>
<codeline lineno="105"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>std::bool_constant&lt;(RelationUsesRegisteredEntities&lt;RelationTs,<sp/>DomainIDsT,<sp/>BoundaryIDsT&gt;::value<sp/>&amp;&amp;<sp/>...)&gt;<sp/>{<sp/>};</highlight></codeline>
<codeline lineno="106"><highlight class="normal">}</highlight></codeline>
</programlisting>
<location file="src/include/serif/discretization/domain/relation/validation/validation.hpp"/>
</compounddef>
</doxygen>