Files
MeanField_SERiF/docs/xml/validation_8hpp.xml

646 lines
36 KiB
XML
Raw Permalink Normal View History

<?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>