Files

593 lines
26 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="all_8hpp" kind="file" language="C++">
<compoundname>all.hpp</compoundname>
<includes refid="discretization_2domain_2mesh_2topology_8hpp" local="yes">serif/discretization/domain/mesh/topology.hpp</includes>
<includes refid="discretization_2domain_2schema_2concepts_8hpp" local="yes">serif/discretization/domain/schema/concepts.hpp</includes>
<includes refid="results_8hpp" local="yes">serif/discretization/domain/schema/validation/results.hpp</includes>
<includes refid="validator_8hpp" local="yes">serif/discretization/domain/schema/validation/validator.hpp</includes>
<includes refid="schema_2validation_2boundary_8hpp" local="yes">serif/discretization/domain/schema/validation/boundary.hpp</includes>
<includes refid="connected_8hpp" local="yes">serif/discretization/domain/schema/validation/connected.hpp</includes>
<includes refid="inscribed_8hpp" local="yes">serif/discretization/domain/schema/validation/inscribed.hpp</includes>
<includedby refid="backend__independent_8cpp" local="yes">src/compile_time_checks/serif/backend_independent.cpp</includedby>
<includedby refid="backend_2mfem_2discretization_2schema_8hpp" local="yes">src/include/serif/backend/mfem/discretization/schema.hpp</includedby>
<incdepgraph>
<node id="8">
<label>serif/discretization/domain/concepts.hpp</label>
<link refid="discretization_2domain_2concepts_8hpp"/>
<childnode refid="3" 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>
<childnode refid="13" relation="include">
</childnode>
<childnode refid="14" relation="include">
</childnode>
<childnode refid="15" relation="include">
</childnode>
<childnode refid="17" relation="include">
</childnode>
</node>
<node id="23">
<label>serif/discretization/domain/ids/boundary.hpp</label>
<link refid="ids_2boundary_8hpp"/>
<childnode refid="9" relation="include">
</childnode>
<childnode refid="8" relation="include">
</childnode>
</node>
<node id="22">
<label>serif/discretization/domain/ids/concepts.hpp</label>
<link refid="discretization_2domain_2ids_2concepts_8hpp"/>
<childnode refid="23" relation="include">
</childnode>
<childnode refid="24" relation="include">
</childnode>
</node>
<node id="24">
<label>serif/discretization/domain/ids/domain.hpp</label>
<link refid="domain_8hpp"/>
<childnode refid="9" relation="include">
</childnode>
<childnode refid="8" relation="include">
</childnode>
</node>
<node id="18">
<label>serif/discretization/domain/ids/lists/concepts.hpp</label>
<link refid="discretization_2domain_2ids_2lists_2concepts_8hpp"/>
<childnode refid="19" relation="include">
</childnode>
</node>
<node id="20">
<label>serif/discretization/domain/ids/lists/lists.hpp</label>
<link refid="lists_8hpp"/>
<childnode refid="11" relation="include">
</childnode>
<childnode refid="3" relation="include">
</childnode>
<childnode refid="21" relation="include">
</childnode>
<childnode refid="17" relation="include">
</childnode>
</node>
<node id="19">
<label>serif/discretization/domain/ids/lists/traits.hpp</label>
<link refid="discretization_2domain_2ids_2lists_2traits_8hpp"/>
<childnode refid="20" relation="include">
</childnode>
</node>
<node id="21">
<label>serif/discretization/domain/ids/validation/concepts.hpp</label>
<link refid="discretization_2domain_2ids_2validation_2concepts_8hpp"/>
<childnode refid="22" relation="include">
</childnode>
<childnode refid="25" relation="include">
</childnode>
<childnode refid="27" relation="include">
</childnode>
</node>
<node id="25">
<label>serif/discretization/domain/ids/validation/unique_ids.hpp</label>
<link refid="unique__ids_8hpp"/>
<childnode refid="11" relation="include">
</childnode>
<childnode refid="26" relation="include">
</childnode>
<childnode refid="16" relation="include">
</childnode>
<childnode refid="17" relation="include">
</childnode>
</node>
<node id="2">
<label>serif/discretization/domain/mesh/topology.hpp</label>
<link refid="discretization_2domain_2mesh_2topology_8hpp"/>
<childnode refid="3" relation="include">
</childnode>
<childnode refid="4" relation="include">
</childnode>
</node>
<node id="32">
<label>serif/discretization/domain/relation/concepts.hpp</label>
<link refid="discretization_2domain_2relation_2concepts_8hpp"/>
<childnode refid="33" relation="include">
</childnode>
<childnode refid="15" relation="include">
</childnode>
</node>
<node id="29">
<label>serif/discretization/domain/relation/lists/concepts.hpp</label>
<link refid="discretization_2domain_2relation_2lists_2concepts_8hpp"/>
<childnode refid="30" relation="include">
</childnode>
</node>
<node id="31">
<label>serif/discretization/domain/relation/lists/relation_list.hpp</label>
<link refid="relation__list_8hpp"/>
<childnode refid="3" relation="include">
</childnode>
<childnode refid="32" relation="include">
</childnode>
<childnode refid="17" relation="include">
</childnode>
</node>
<node id="30">
<label>serif/discretization/domain/relation/lists/traits.hpp</label>
<link refid="discretization_2domain_2relation_2lists_2traits_8hpp"/>
<childnode refid="31" relation="include">
</childnode>
</node>
<node id="33">
<label>serif/discretization/domain/relation/relations.hpp</label>
<link refid="discretization_2domain_2relation_2relations_8hpp"/>
<childnode refid="9" relation="include">
</childnode>
<childnode refid="8" relation="include">
</childnode>
<childnode refid="34" relation="include">
</childnode>
<childnode refid="17" relation="include">
</childnode>
</node>
<node id="35">
<label>serif/discretization/domain/relation/validation/concepts.hpp</label>
<link refid="discretization_2domain_2relation_2validation_2concepts_8hpp"/>
<childnode refid="36" relation="include">
</childnode>
</node>
<node id="41">
<label>serif/discretization/domain/relation/validation/runtime.hpp</label>
<link refid="discretization_2domain_2relation_2validation_2runtime_8hpp"/>
<childnode refid="42" relation="include">
</childnode>
<childnode refid="39" relation="include">
</childnode>
</node>
<node id="36">
<label>serif/discretization/domain/relation/validation/validation.hpp</label>
<link refid="discretization_2domain_2relation_2validation_2validation_8hpp"/>
<childnode refid="16" relation="include">
</childnode>
<childnode refid="8" relation="include">
</childnode>
<childnode refid="18" relation="include">
</childnode>
<childnode refid="32" relation="include">
</childnode>
<childnode refid="29" relation="include">
</childnode>
<childnode refid="31" relation="include">
</childnode>
<childnode refid="37" relation="include">
</childnode>
</node>
<node id="37">
<label>serif/discretization/domain/resolver.hpp</label>
<link refid="resolver_8hpp"/>
<childnode refid="8" relation="include">
</childnode>
<childnode refid="18" relation="include">
</childnode>
<childnode refid="20" relation="include">
</childnode>
</node>
<node id="5">
<label>serif/discretization/domain/schema/concepts.hpp</label>
<link refid="discretization_2domain_2schema_2concepts_8hpp"/>
<childnode refid="6" relation="include">
</childnode>
</node>
<node id="7">
<label>serif/discretization/domain/schema/domain_schema.hpp</label>
<link refid="domain__schema_8hpp"/>
<childnode refid="3" relation="include">
</childnode>
<childnode refid="8" relation="include">
</childnode>
<childnode refid="18" relation="include">
</childnode>
<childnode refid="29" relation="include">
</childnode>
<childnode refid="35" relation="include">
</childnode>
<childnode refid="37" relation="include">
</childnode>
</node>
<node id="6">
<label>serif/discretization/domain/schema/traits.hpp</label>
<link refid="discretization_2domain_2schema_2traits_8hpp"/>
<childnode refid="7" relation="include">
</childnode>
</node>
<node id="1">
<label>src/include/serif/discretization/domain/schema/validation/all.hpp</label>
<link refid="all_8hpp"/>
<childnode refid="2" relation="include">
</childnode>
<childnode refid="5" relation="include">
</childnode>
<childnode refid="38" relation="include">
</childnode>
<childnode refid="43" relation="include">
</childnode>
<childnode refid="44" relation="include">
</childnode>
<childnode refid="62" relation="include">
</childnode>
<childnode refid="63" relation="include">
</childnode>
</node>
<node id="44">
<label>serif/discretization/domain/schema/validation/boundary.hpp</label>
<link refid="schema_2validation_2boundary_8hpp"/>
<childnode refid="39" relation="include">
</childnode>
<childnode refid="45" relation="include">
</childnode>
<childnode refid="4" relation="include">
</childnode>
<childnode refid="8" relation="include">
</childnode>
<childnode refid="2" relation="include">
</childnode>
<childnode refid="33" relation="include">
</childnode>
<childnode refid="41" relation="include">
</childnode>
<childnode refid="5" relation="include">
</childnode>
<childnode refid="43" relation="include">
</childnode>
<childnode refid="46" relation="include">
</childnode>
</node>
<node id="62">
<label>serif/discretization/domain/schema/validation/connected.hpp</label>
<link refid="connected_8hpp"/>
<childnode refid="3" relation="include">
</childnode>
<childnode refid="39" relation="include">
</childnode>
<childnode refid="4" relation="include">
</childnode>
<childnode refid="8" relation="include">
</childnode>
<childnode refid="2" relation="include">
</childnode>
<childnode refid="33" relation="include">
</childnode>
<childnode refid="41" relation="include">
</childnode>
<childnode refid="5" relation="include">
</childnode>
<childnode refid="43" relation="include">
</childnode>
</node>
<node id="63">
<label>serif/discretization/domain/schema/validation/inscribed.hpp</label>
<link refid="inscribed_8hpp"/>
<childnode refid="39" relation="include">
</childnode>
<childnode refid="8" relation="include">
</childnode>
<childnode refid="2" relation="include">
</childnode>
<childnode refid="33" relation="include">
</childnode>
<childnode refid="41" relation="include">
</childnode>
<childnode refid="5" relation="include">
</childnode>
<childnode refid="43" relation="include">
</childnode>
</node>
<node id="38">
<label>serif/discretization/domain/schema/validation/results.hpp</label>
<link refid="results_8hpp"/>
<childnode refid="3" relation="include">
</childnode>
<childnode refid="39" relation="include">
</childnode>
<childnode refid="9" relation="include">
</childnode>
<childnode refid="4" relation="include">
</childnode>
<childnode refid="12" relation="include">
</childnode>
<childnode refid="40" relation="include">
</childnode>
<childnode refid="41" relation="include">
</childnode>
</node>
<node id="43">
<label>serif/discretization/domain/schema/validation/validator.hpp</label>
<link refid="validator_8hpp"/>
<childnode refid="3" relation="include">
</childnode>
<childnode refid="2" relation="include">
</childnode>
<childnode refid="32" relation="include">
</childnode>
<childnode refid="31" relation="include">
</childnode>
<childnode refid="41" relation="include">
</childnode>
<childnode refid="5" relation="include">
</childnode>
<childnode refid="38" relation="include">
</childnode>
</node>
<node id="14">
<label>serif/discretization/domain/types.hpp</label>
<link refid="discretization_2domain_2types_8hpp"/>
<childnode refid="9" relation="include">
</childnode>
</node>
<node id="57">
<label>serif/meta/enums.hpp</label>
<link refid="enums_8hpp"/>
<childnode refid="58" relation="include">
</childnode>
<childnode refid="16" relation="include">
</childnode>
<childnode refid="59" relation="include">
</childnode>
</node>
<node id="56">
<label>serif/utils/error/codes.hpp</label>
<link refid="codes_8hpp"/>
<childnode refid="42" relation="include">
</childnode>
<childnode refid="57" relation="include">
</childnode>
</node>
<node id="46">
<label>serif/utils/error/errors.hpp</label>
<link refid="errors_8hpp"/>
<childnode refid="9" relation="include">
</childnode>
<childnode refid="12" relation="include">
</childnode>
<childnode refid="47" relation="include">
</childnode>
<childnode refid="40" relation="include">
</childnode>
<childnode refid="42" relation="include">
</childnode>
<childnode refid="48" relation="include">
</childnode>
<childnode refid="49" relation="include">
</childnode>
<childnode refid="50" relation="include">
</childnode>
<childnode refid="54" relation="include">
</childnode>
<childnode refid="56" relation="include">
</childnode>
<childnode refid="60" relation="include">
</childnode>
</node>
<node id="54">
<label>serif/utils/misc/concepts/exceptions.hpp</label>
<link refid="utils_2misc_2concepts_2exceptions_8hpp"/>
<childnode refid="55" relation="include">
</childnode>
<childnode refid="16" relation="include">
</childnode>
<childnode refid="34" relation="include">
</childnode>
</node>
<node id="34">
<label>serif/utils/misc/concepts/numeric.hpp</label>
<link refid="numeric_8hpp"/>
<childnode refid="26" relation="include">
</childnode>
<childnode refid="16" relation="include">
</childnode>
</node>
<node id="27">
<label>serif/utils/misc/concepts/type_uniqueness.hpp</label>
<link refid="concepts_2type__uniqueness_8hpp"/>
<childnode refid="28" relation="include">
</childnode>
</node>
<node id="15">
<label>serif/utils/misc/std_helper/cleaning.hpp</label>
<link refid="cleaning_8hpp"/>
<childnode refid="16" relation="include">
</childnode>
</node>
<node id="17">
<label>serif/utils/misc/std_helper/variadic_cleaning.hpp</label>
<link refid="variadic__cleaning_8hpp"/>
<childnode refid="3" relation="include">
</childnode>
</node>
<node id="50">
<label>serif/utils/misc/terminal/colors.hpp</label>
<link refid="colors_8hpp"/>
<childnode refid="9" relation="include">
</childnode>
<childnode refid="47" relation="include">
</childnode>
<childnode refid="51" relation="include">
</childnode>
<childnode refid="52" relation="include">
</childnode>
<childnode refid="53" relation="include">
</childnode>
</node>
<node id="28">
<label>serif/utils/misc/traits/type_uniqueness.hpp</label>
<link refid="traits_2type__uniqueness_8hpp"/>
<childnode refid="11" relation="include">
</childnode>
<childnode refid="15" relation="include">
</childnode>
</node>
<node id="60">
<label>serif/utils/types/strings.hpp</label>
<link refid="types_2strings_8hpp"/>
<childnode refid="48" relation="include">
</childnode>
<childnode refid="61" relation="include">
</childnode>
<childnode refid="9" relation="include">
</childnode>
</node>
<node id="48">
<label>algorithm</label>
</node>
<node id="11">
<label>array</label>
</node>
<node id="26">
<label>concepts</label>
</node>
<node id="3">
<label>cstddef</label>
</node>
<node id="42">
<label>cstdint</label>
</node>
<node id="47">
<label>cstdio</label>
</node>
<node id="51">
<label>cstdlib</label>
</node>
<node id="55">
<label>exception</label>
</node>
<node id="12">
<label>format</label>
</node>
<node id="61">
<label>iostream</label>
</node>
<node id="59">
<label>magic_enum/magic_enum_all.hpp</label>
</node>
<node id="13">
<label>numeric</label>
</node>
<node id="39">
<label>optional</label>
</node>
<node id="10">
<label>span</label>
</node>
<node id="40">
<label>string</label>
</node>
<node id="9">
<label>string_view</label>
</node>
<node id="45">
<label>tuple</label>
</node>
<node id="16">
<label>type_traits</label>
</node>
<node id="53">
<label>unistd.h</label>
</node>
<node id="58">
<label>unordered_map</label>
</node>
<node id="52">
<label>utility</label>
</node>
<node id="4">
<label>vector</label>
</node>
<node id="49">
<label>version</label>
</node>
</incdepgraph>
<invincdepgraph>
<node id="2">
<label>src/compile_time_checks/serif/backend_independent.cpp</label>
<link refid="backend__independent_8cpp"/>
</node>
<node id="3">
<label>src/include/serif/backend/mfem/discretization/schema.hpp</label>
<link refid="backend_2mfem_2discretization_2schema_8hpp"/>
</node>
<node id="1">
<label>src/include/serif/discretization/domain/schema/validation/all.hpp</label>
<link refid="all_8hpp"/>
<childnode refid="2" relation="include">
</childnode>
<childnode refid="3" relation="include">
</childnode>
</node>
</invincdepgraph>
<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_1schema">serif::discretization::domain::schema</innernamespace>
<innernamespace refid="namespaceserif_1_1discretization_1_1domain_1_1schema_1_1validation">serif::discretization::domain::schema::validation</innernamespace>
<briefdescription>
<para>File containing validate_schema, which selects the topology validators required by the schema type. </para>
</briefdescription>
<detaileddescription>
<para><simplesect kind="author"><para>Emily M. Boudreaux </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="9"><highlight class="normal"></highlight></codeline>
<codeline lineno="10"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/>&quot;<ref refid="discretization_2domain_2mesh_2topology_8hpp" kindref="compound">serif/discretization/domain/mesh/topology.hpp</ref>&quot;</highlight><highlight class="normal"></highlight></codeline>
<codeline lineno="11"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/>&quot;<ref refid="discretization_2domain_2schema_2concepts_8hpp" kindref="compound">serif/discretization/domain/schema/concepts.hpp</ref>&quot;</highlight><highlight class="normal"></highlight></codeline>
<codeline lineno="12"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/>&quot;<ref refid="results_8hpp" kindref="compound">serif/discretization/domain/schema/validation/results.hpp</ref>&quot;</highlight><highlight class="normal"></highlight></codeline>
<codeline lineno="13"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/>&quot;<ref refid="validator_8hpp" kindref="compound">serif/discretization/domain/schema/validation/validator.hpp</ref>&quot;</highlight><highlight class="normal"></highlight></codeline>
<codeline lineno="14"><highlight class="normal"></highlight></codeline>
<codeline lineno="15"><highlight class="normal"></highlight><highlight class="comment">//<sp/>Every<sp/>RelationValidator<sp/>specialization<sp/>must<sp/>be<sp/>visible<sp/>before</highlight><highlight class="normal"></highlight></codeline>
<codeline lineno="16"><highlight class="normal"></highlight><highlight class="comment">//<sp/>SchemaRelationValidator<sp/>is<sp/>instantiated,<sp/>so<sp/>they<sp/>are<sp/>all<sp/>included<sp/>here<sp/>and</highlight><highlight class="normal"></highlight></codeline>
<codeline lineno="17"><highlight class="normal"></highlight><highlight class="comment">//<sp/>the<sp/>topology<sp/>overload<sp/>of<sp/>validate_schema<sp/>is<sp/>defined<sp/>here.<sp/>Include<sp/>this<sp/>file</highlight><highlight class="normal"></highlight></codeline>
<codeline lineno="18"><highlight class="normal"></highlight><highlight class="comment">//<sp/>to<sp/>validate<sp/>topology;<sp/>including<sp/>validator.hpp<sp/>alone<sp/>is<sp/>not<sp/>enough.</highlight><highlight class="normal"></highlight></codeline>
<codeline lineno="19"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/>&quot;<ref refid="schema_2validation_2boundary_8hpp" kindref="compound">serif/discretization/domain/schema/validation/boundary.hpp</ref>&quot;</highlight><highlight class="normal"></highlight></codeline>
<codeline lineno="20"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/>&quot;<ref refid="connected_8hpp" kindref="compound">serif/discretization/domain/schema/validation/connected.hpp</ref>&quot;</highlight><highlight class="normal"></highlight></codeline>
<codeline lineno="21"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/>&quot;<ref refid="inscribed_8hpp" kindref="compound">serif/discretization/domain/schema/validation/inscribed.hpp</ref>&quot;</highlight><highlight class="normal"></highlight></codeline>
<codeline lineno="22"><highlight class="normal"></highlight></codeline>
<codeline lineno="23" refid="namespaceserif_1_1discretization_1_1domain_1_1schema_1_1validation" refkind="compound"><highlight class="normal"></highlight><highlight class="keyword">namespace<sp/></highlight><highlight class="normal"><ref refid="namespaceserif_1_1discretization_1_1domain_1_1schema_1_1validation" kindref="compound">serif::discretization::domain::schema::validation</ref><sp/>{</highlight></codeline>
<codeline lineno="31"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/>&lt;IsSchema<sp/>SchemaT&gt;</highlight></codeline>
<codeline lineno="32"><highlight class="normal"><sp/><sp/><sp/><sp/>[[nodiscard]]<sp/><ref refid="structserif_1_1discretization_1_1domain_1_1schema_1_1validation_1_1_schema_validation_result" kindref="compound">SchemaValidationResult</ref><sp/><ref refid="namespaceserif_1_1discretization_1_1domain_1_1schema_1_1validation_1ac7b1768feeba6a687afd25651fd43022" kindref="member">validate_schema</ref>(</highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/><ref refid="classserif_1_1discretization_1_1domain_1_1mesh_1_1_mesh_topology" kindref="compound">mesh::MeshTopology</ref><sp/>&amp;topology)<sp/>{</highlight></codeline>
<codeline lineno="33"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">RelationsT<sp/>=<sp/></highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/>SchemaT::relations_type;</highlight></codeline>
<codeline lineno="34"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/><ref refid="structserif_1_1discretization_1_1domain_1_1schema_1_1validation_1_1_schema_relation_validator" kindref="compound">SchemaRelationValidator&lt;SchemaT, RelationsT&gt;::validate</ref>(topology);</highlight></codeline>
<codeline lineno="35"><highlight class="normal"><sp/><sp/><sp/><sp/>}</highlight></codeline>
<codeline lineno="36"><highlight class="normal"></highlight></codeline>
<codeline lineno="37"><highlight class="normal">}</highlight></codeline>
</programlisting>
<location file="src/include/serif/discretization/domain/schema/validation/all.hpp"/>
</compounddef>
</doxygen>