Files
MeanField_SERiF/docs/xml/specification__list_8hpp.xml

588 lines
44 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="specification__list_8hpp" kind="file" language="C++">
<compoundname>specification_list.hpp</compoundname>
<includes local="no">tuple</includes>
<includes local="no">utility</includes>
<includes refid="specification_8hpp" local="yes">serif/model/specification.hpp</includes>
<includes refid="filter_8hpp" local="yes">serif/utils/misc/concepts/filter.hpp</includes>
<includedby refid="stellar__model_8hpp" local="yes">src/include/serif/model/stellar_model.hpp</includedby>
<incdepgraph>
<node id="10">
<label>serif/dimensions/quantities.hpp</label>
<link refid="quantities_8hpp"/>
<childnode refid="9" relation="include">
</childnode>
<childnode refid="11" relation="include">
</childnode>
<childnode refid="6" relation="include">
</childnode>
<childnode refid="2" relation="include">
</childnode>
<childnode refid="12" relation="include">
</childnode>
<childnode refid="13" relation="include">
</childnode>
</node>
<node id="1">
<label>src/include/serif/model/detail/specification_list.hpp</label>
<link refid="specification__list_8hpp"/>
<childnode refid="2" relation="include">
</childnode>
<childnode refid="3" relation="include">
</childnode>
<childnode refid="4" relation="include">
</childnode>
<childnode refid="18" relation="include">
</childnode>
</node>
<node id="4">
<label>serif/model/specification.hpp</label>
<link refid="specification_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>
<childnode refid="9" relation="include">
</childnode>
<childnode refid="10" relation="include">
</childnode>
<childnode refid="14" relation="include">
</childnode>
<childnode refid="17" relation="include">
</childnode>
</node>
<node id="18">
<label>serif/utils/misc/concepts/filter.hpp</label>
<link refid="filter_8hpp"/>
<childnode refid="9" relation="include">
</childnode>
<childnode refid="17" relation="include">
</childnode>
</node>
<node id="13">
<label>serif/utils/misc/concepts/numeric.hpp</label>
<link refid="numeric_8hpp"/>
<childnode refid="6" relation="include">
</childnode>
<childnode refid="9" relation="include">
</childnode>
</node>
<node id="12">
<label>serif/utils/misc/std_helper/cleaning.hpp</label>
<link refid="cleaning_8hpp"/>
<childnode refid="9" relation="include">
</childnode>
</node>
<node id="14">
<label>serif/utils/types/strings.hpp</label>
<link refid="types_2strings_8hpp"/>
<childnode refid="15" relation="include">
</childnode>
<childnode refid="16" relation="include">
</childnode>
<childnode refid="8" relation="include">
</childnode>
</node>
<node id="17">
<label>serif/utils/types/type_list.hpp</label>
<link refid="type__list_8hpp"/>
</node>
<node id="15">
<label>algorithm</label>
</node>
<node id="5">
<label>array</label>
</node>
<node id="11">
<label>compare</label>
</node>
<node id="6">
<label>concepts</label>
</node>
<node id="16">
<label>iostream</label>
</node>
<node id="7">
<label>limits</label>
</node>
<node id="8">
<label>string_view</label>
</node>
<node id="2">
<label>tuple</label>
</node>
<node id="9">
<label>type_traits</label>
</node>
<node id="3">
<label>utility</label>
</node>
</incdepgraph>
<invincdepgraph>
<node id="15">
<label>src/compile_time_checks/serif/backend_independent.cpp</label>
<link refid="backend__independent_8cpp"/>
</node>
<node id="31">
<label>src/compile_time_checks/serif/model/barotropic_density.cpp</label>
<link refid="barotropic__density_8cpp"/>
</node>
<node id="32">
<label>src/compile_time_checks/serif/model/density_primal.cpp</label>
<link refid="density__primal_8cpp"/>
</node>
<node id="11">
<label>src/compile_time_checks/serif/model/description.cpp</label>
<link refid="description_8cpp"/>
</node>
<node id="33">
<label>src/compile_time_checks/serif/model/execution_validation.cpp</label>
<link refid="execution__validation_8cpp"/>
</node>
<node id="5">
<label>src/compile_time_checks/serif/model/finite_elements.cpp</label>
<link refid="compile__time__checks_2serif_2model_2finite__elements_8cpp"/>
</node>
<node id="18">
<label>src/compile_time_checks/serif/model/normalization.cpp</label>
<link refid="normalization_8cpp"/>
</node>
<node id="20">
<label>src/compile_time_checks/serif/model/state.cpp</label>
<link refid="state_8cpp"/>
</node>
<node id="29">
<label>src/compile_time_checks/serif/model/validation.cpp</label>
<link refid="compile__time__checks_2serif_2model_2validation_8cpp"/>
</node>
<node id="41">
<label>src/compile_time_checks/serif/solver/continuation.cpp</label>
<link refid="continuation_8cpp"/>
</node>
<node id="45">
<label>src/compile_time_checks/serif/solver/public_contracts.cpp</label>
<link refid="public__contracts_8cpp"/>
</node>
<node id="19">
<label>src/include/serif/backend/mfem/model/equilibrium.hpp</label>
<link refid="backend_2mfem_2model_2equilibrium_8hpp"/>
<childnode refid="20" relation="include">
</childnode>
<childnode refid="21" relation="include">
</childnode>
</node>
<node id="3">
<label>src/include/serif/backend/mfem/model/finite_elements.hpp</label>
<link refid="backend_2mfem_2model_2finite__elements_8hpp"/>
<childnode refid="4" relation="include">
</childnode>
<childnode refid="9" relation="include">
</childnode>
</node>
<node id="23">
<label>src/include/serif/backend/mfem/serialize/configuration.hpp</label>
<link refid="backend_2mfem_2serialize_2configuration_8hpp"/>
</node>
<node id="35">
<label>src/include/serif/backend/mfem/serialize/discretization.hpp</label>
<link refid="serialize_2discretization_8hpp"/>
<childnode refid="23" relation="include">
</childnode>
</node>
<node id="25">
<label>src/include/serif/backend/mfem/serialize/options.hpp</label>
<link refid="backend_2mfem_2serialize_2options_8hpp"/>
</node>
<node id="12">
<label>src/include/serif/backend/mfem/serialize/top.hpp</label>
<link refid="backend_2mfem_2serialize_2top_8hpp"/>
<childnode refid="13" relation="include">
</childnode>
</node>
<node id="22">
<label>src/include/serif/backend/mfem/solver/equilibrium.hpp</label>
<link refid="backend_2mfem_2solver_2equilibrium_8hpp"/>
<childnode refid="6" relation="include">
</childnode>
</node>
<node id="21">
<label>src/include/serif/backend/mfem/solver/nonlinear/stellar_problem.hpp</label>
<link refid="stellar__problem_8hpp"/>
<childnode refid="22" relation="include">
</childnode>
</node>
<node id="47">
<label>src/include/serif/backend/mfem/solver/seed/fitted.hpp</label>
<link refid="backend_2mfem_2solver_2seed_2fitted_8hpp"/>
<childnode refid="48" relation="include">
</childnode>
<childnode refid="49" relation="include">
</childnode>
</node>
<node id="48">
<label>src/include/serif/backend/mfem/solver/seed/state.hpp</label>
<link refid="backend_2mfem_2solver_2seed_2state_8hpp"/>
<childnode refid="49" relation="include">
</childnode>
</node>
<node id="17">
<label>src/include/serif/model/configured_discretization.hpp</label>
<link refid="configured__discretization_8hpp"/>
<childnode refid="15" relation="include">
</childnode>
<childnode refid="18" relation="include">
</childnode>
<childnode refid="19" relation="include">
</childnode>
<childnode refid="23" relation="include">
</childnode>
<childnode refid="24" relation="include">
</childnode>
</node>
<node id="10">
<label>src/include/serif/model/description.hpp</label>
<link refid="description_8hpp"/>
<childnode refid="11" relation="include">
</childnode>
<childnode refid="12" relation="include">
</childnode>
<childnode refid="14" relation="include">
</childnode>
<childnode refid="16" relation="include">
</childnode>
<childnode refid="28" relation="include">
</childnode>
<childnode refid="34" relation="include">
</childnode>
</node>
<node id="1">
<label>src/include/serif/model/detail/specification_list.hpp</label>
<link refid="specification__list_8hpp"/>
<childnode refid="2" relation="include">
</childnode>
</node>
<node id="30">
<label>src/include/serif/model/execution_validation.hpp</label>
<link refid="execution__validation_8hpp"/>
<childnode refid="31" relation="include">
</childnode>
<childnode refid="32" relation="include">
</childnode>
<childnode refid="33" relation="include">
</childnode>
<childnode refid="19" relation="include">
</childnode>
</node>
<node id="4">
<label>src/include/serif/model/finite_elements.hpp</label>
<link refid="model_2finite__elements_8hpp"/>
<childnode refid="5" relation="include">
</childnode>
<childnode refid="6" relation="include">
</childnode>
</node>
<node id="14">
<label>src/include/serif/model/model.hpp</label>
<link refid="model_2model_8hpp"/>
<childnode refid="15" relation="include">
</childnode>
</node>
<node id="16">
<label>src/include/serif/model/normalization/reference.hpp</label>
<link refid="reference_8hpp"/>
<childnode refid="17" relation="include">
</childnode>
</node>
<node id="2">
<label>src/include/serif/model/stellar_model.hpp</label>
<link refid="stellar__model_8hpp"/>
<childnode refid="3" relation="include">
</childnode>
<childnode refid="10" relation="include">
</childnode>
<childnode refid="38" relation="include">
</childnode>
<childnode refid="44" relation="include">
</childnode>
<childnode refid="37" relation="include">
</childnode>
</node>
<node id="28">
<label>src/include/serif/model/validation.hpp</label>
<link refid="model_2validation_8hpp"/>
<childnode refid="29" relation="include">
</childnode>
<childnode refid="30" relation="include">
</childnode>
<childnode refid="14" relation="include">
</childnode>
</node>
<node id="39">
<label>src/include/serif/solver/continuation/continuation.hpp</label>
<link refid="continuation_8hpp"/>
<childnode refid="15" relation="include">
</childnode>
<childnode refid="8" relation="include">
</childnode>
</node>
<node id="42">
<label>src/include/serif/solver/continuation/driver.hpp</label>
<link refid="driver_8hpp"/>
<childnode refid="39" relation="include">
</childnode>
<childnode refid="7" relation="include">
</childnode>
</node>
<node id="7">
<label>src/include/serif/solver/continuation/equilibrium.hpp</label>
<link refid="solver_2continuation_2equilibrium_8hpp"/>
<childnode refid="8" relation="include">
</childnode>
</node>
<node id="38">
<label>src/include/serif/solver/continuation/family.hpp</label>
<link refid="family_8hpp"/>
<childnode refid="39" relation="include">
</childnode>
<childnode refid="40" relation="include">
</childnode>
<childnode refid="43" relation="include">
</childnode>
</node>
<node id="40">
<label>src/include/serif/solver/continuation/options.hpp</label>
<link refid="solver_2continuation_2options_8hpp"/>
<childnode refid="41" relation="include">
</childnode>
<childnode refid="42" relation="include">
</childnode>
</node>
<node id="43">
<label>src/include/serif/solver/continuation/polytropic.hpp</label>
<link refid="solver_2continuation_2polytropic_8hpp"/>
<childnode refid="41" relation="include">
</childnode>
<childnode refid="39" relation="include">
</childnode>
</node>
<node id="6">
<label>src/include/serif/solver/equilibrium.hpp</label>
<link refid="solver_2equilibrium_8hpp"/>
<childnode refid="7" relation="include">
</childnode>
<childnode refid="8" relation="include">
</childnode>
</node>
<node id="46">
<label>src/include/serif/solver/seed/fitted.hpp</label>
<link refid="solver_2seed_2fitted_8hpp"/>
<childnode refid="47" relation="include">
</childnode>
<childnode refid="8" relation="include">
</childnode>
<childnode refid="50" relation="include">
</childnode>
</node>
<node id="44">
<label>src/include/serif/solver/seed/polytrope.hpp</label>
<link refid="polytrope_8hpp"/>
<childnode refid="45" relation="include">
</childnode>
<childnode refid="46" relation="include">
</childnode>
<childnode refid="8" relation="include">
</childnode>
<childnode refid="51" relation="include">
</childnode>
</node>
<node id="49">
<label>src/include/serif/solver/seed/state.hpp</label>
<link refid="solver_2seed_2state_8hpp"/>
<childnode refid="8" relation="include">
</childnode>
</node>
<node id="8">
<label>src/include/serif/solver/solver.hpp</label>
<link refid="solver_2solver_8hpp"/>
</node>
<node id="36">
<label>src/include/serif/utils/serialize/equations.hpp</label>
<link refid="utils_2serialize_2equations_8hpp"/>
<childnode refid="37" relation="include">
</childnode>
</node>
<node id="37">
<label>src/include/serif/utils/serialize/model.hpp</label>
<link refid="utils_2serialize_2model_8hpp"/>
<childnode refid="35" relation="include">
</childnode>
<childnode refid="24" relation="include">
</childnode>
<childnode refid="26" relation="include">
</childnode>
</node>
<node id="24">
<label>src/include/serif/utils/serialize/numerics.hpp</label>
<link refid="numerics_8hpp"/>
<childnode refid="23" relation="include">
</childnode>
<childnode refid="25" relation="include">
</childnode>
<childnode refid="26" relation="include">
</childnode>
</node>
<node id="34">
<label>src/include/serif/utils/serialize/physics.hpp</label>
<link refid="physics_8hpp"/>
<childnode refid="35" relation="include">
</childnode>
<childnode refid="36" relation="include">
</childnode>
</node>
<node id="27">
<label>src/include/serif/utils/serialize/serialize.hpp</label>
<link refid="serialize_8hpp"/>
<childnode refid="15" relation="include">
</childnode>
</node>
<node id="26">
<label>src/include/serif/utils/serialize/solver.hpp</label>
<link refid="utils_2serialize_2solver_8hpp"/>
<childnode refid="27" relation="include">
</childnode>
</node>
<node id="9">
<label>src/lib/serif/backend/mfem/model/finite_elements.cpp</label>
<link refid="lib_2serif_2backend_2mfem_2model_2finite__elements_8cpp"/>
</node>
<node id="13">
<label>src/lib/serif/backend/mfem/serialize/top.cpp</label>
<link refid="backend_2mfem_2serialize_2top_8cpp"/>
</node>
<node id="50">
<label>src/lib/serif/solver/seed/fitted.cpp</label>
<link refid="fitted_8cpp"/>
</node>
<node id="51">
<label>src/lib/serif/solver/seed/polytrope.cpp</label>
<link refid="polytrope_8cpp"/>
</node>
</invincdepgraph>
<innerclass refid="structserif_1_1model_1_1detail_1_1_insert_specification_3_01_specification_00_01utils_1_1types_1_1_type_list_3_4_01_4" prot="public">serif::model::detail::InsertSpecification&lt; Specification, utils::types::TypeList&lt;&gt; &gt;</innerclass>
<innerclass refid="structserif_1_1model_1_1detail_1_1_insert_specification_3_01_specification_00_01utils_1_1types_1c291e9ffd6f22f760258a73ade9a49a2" prot="public">serif::model::detail::InsertSpecification&lt; Specification, utils::types::TypeList&lt; Head, Tail... &gt; &gt;</innerclass>
<innerclass refid="structserif_1_1model_1_1detail_1_1_canonical_specifications_3_4" prot="public">serif::model::detail::CanonicalSpecifications&lt;&gt;</innerclass>
<innerclass refid="structserif_1_1model_1_1detail_1_1_canonical_specifications_3_01_head_00_01_tail_8_8_8_01_4" prot="public">serif::model::detail::CanonicalSpecifications&lt; Head, Tail... &gt;</innerclass>
<innerclass refid="structserif_1_1model_1_1detail_1_1_select_role" prot="public">serif::model::detail::SelectRole</innerclass>
<innerclass refid="structserif_1_1model_1_1detail_1_1_arguments_match_3_01utils_1_1types_1_1_type_list_3_01_specifi01658b4335377da22d90e0eb31cddca8" prot="public">serif::model::detail::ArgumentsMatch&lt; utils::types::TypeList&lt; Specifications... &gt;, Arguments... &gt;</innerclass>
<innernamespace refid="namespaceserif">serif</innernamespace>
<innernamespace refid="namespaceserif_1_1model">serif::model</innernamespace>
<innernamespace refid="namespaceserif_1_1model_1_1detail">serif::model::detail</innernamespace>
<briefdescription>
</briefdescription>
<detaileddescription>
</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="3"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/>&lt;tuple&gt;</highlight><highlight class="normal"></highlight></codeline>
<codeline lineno="4"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/>&lt;utility&gt;</highlight><highlight class="normal"></highlight></codeline>
<codeline lineno="5"><highlight class="normal"></highlight></codeline>
<codeline lineno="6"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/>&quot;<ref refid="specification_8hpp" kindref="compound">serif/model/specification.hpp</ref>&quot;</highlight><highlight class="normal"></highlight></codeline>
<codeline lineno="7"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/>&quot;<ref refid="filter_8hpp" kindref="compound">serif/utils/misc/concepts/filter.hpp</ref>&quot;</highlight><highlight class="normal"></highlight></codeline>
<codeline lineno="8"><highlight class="normal"></highlight></codeline>
<codeline lineno="9"><highlight class="normal"></highlight><highlight class="keyword">namespace<sp/></highlight><highlight class="normal"><ref refid="namespaceserif_1_1model_1_1detail" kindref="compound">serif::model::detail</ref></highlight></codeline>
<codeline lineno="10"><highlight class="normal">{</highlight></codeline>
<codeline lineno="12"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/>&lt;ModelSpecification<sp/>Left,<sp/>ModelSpecification<sp/>Right&gt;</highlight></codeline>
<codeline lineno="13"><highlight class="normal"><sp/><sp/><sp/><sp/>[[nodiscard]]<sp/></highlight><highlight class="keyword">consteval</highlight><highlight class="normal"><sp/></highlight><highlight class="keywordtype">bool</highlight><highlight class="normal"><sp/><ref refid="namespaceserif_1_1model_1_1detail_1a42e8407c9abb7f9e35c5f78f3f648c10" kindref="member">specification_precedes</ref>()</highlight></codeline>
<codeline lineno="14"><highlight class="normal"><sp/><sp/><sp/><sp/>{</highlight></codeline>
<codeline lineno="15"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">L<sp/>=<sp/></highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/>Left::ModelDefinition;</highlight></codeline>
<codeline lineno="16"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">R<sp/>=<sp/></highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/>Right::ModelDefinition;</highlight></codeline>
<codeline lineno="17"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>std::tuple{L::role,<sp/>L::generated_state_kind,<sp/>L::name}<sp/>&lt;<sp/>std::tuple{R::role,<sp/>R::generated_state_kind,<sp/>R::name};</highlight></codeline>
<codeline lineno="18"><highlight class="normal"><sp/><sp/><sp/><sp/>}</highlight></codeline>
<codeline lineno="19"><highlight class="normal"></highlight></codeline>
<codeline lineno="20"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/>&lt;</highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/>Specification,<sp/></highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/>List&gt;</highlight></codeline>
<codeline lineno="21" refid="structserif_1_1model_1_1detail_1_1_insert_specification" refkind="compound"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">struct<sp/></highlight><highlight class="normal"><ref refid="structserif_1_1model_1_1detail_1_1_insert_specification" kindref="compound">InsertSpecification</ref>;</highlight></codeline>
<codeline lineno="22"><highlight class="normal"></highlight></codeline>
<codeline lineno="23"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/>&lt;</highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/>Specification&gt;</highlight></codeline>
<codeline lineno="24" refid="structserif_1_1model_1_1detail_1_1_insert_specification_3_01_specification_00_01utils_1_1types_1_1_type_list_3_4_01_4" refkind="compound"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">struct<sp/></highlight><highlight class="normal"><ref refid="structserif_1_1model_1_1detail_1_1_insert_specification" kindref="compound">InsertSpecification</ref>&lt;Specification,<sp/><ref refid="namespaceserif_1_1utils" kindref="compound">utils</ref>::types::TypeList&lt;&gt;&gt;</highlight></codeline>
<codeline lineno="25"><highlight class="normal"><sp/><sp/><sp/><sp/>{</highlight></codeline>
<codeline lineno="26"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal"><ref refid="structserif_1_1model_1_1detail_1_1_insert_specification_3_01_specification_00_01utils_1_1types_1_1_type_list_3_4_01_4_1a027f5afe70b13b546c9a92faa682835b" kindref="member">Type</ref><sp/>=<sp/><ref refid="structserif_1_1utils_1_1types_1_1_type_list" kindref="compound">utils::types::TypeList&lt;Specification&gt;</ref>;</highlight></codeline>
<codeline lineno="27"><highlight class="normal"><sp/><sp/><sp/><sp/>};</highlight></codeline>
<codeline lineno="28"><highlight class="normal"></highlight></codeline>
<codeline lineno="29"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/>&lt;</highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/>Specification,<sp/></highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/>Head,<sp/></highlight><highlight class="keyword">typename</highlight><highlight class="normal">...<sp/>Tail&gt;</highlight></codeline>
<codeline lineno="30" refid="structserif_1_1model_1_1detail_1_1_insert_specification_3_01_specification_00_01utils_1_1types_1c291e9ffd6f22f760258a73ade9a49a2" refkind="compound"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">struct<sp/></highlight><highlight class="normal"><ref refid="structserif_1_1model_1_1detail_1_1_insert_specification" kindref="compound">InsertSpecification</ref>&lt;Specification,<sp/><ref refid="namespaceserif_1_1utils" kindref="compound">utils</ref>::types::TypeList&lt;Head,<sp/>Tail...&gt;&gt;</highlight></codeline>
<codeline lineno="31"><highlight class="normal"><sp/><sp/><sp/><sp/>{</highlight></codeline>
<codeline lineno="32"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal"><ref refid="structserif_1_1model_1_1detail_1_1_insert_specification_3_01_specification_00_01utils_1_1types_1c291e9ffd6f22f760258a73ade9a49a2_1a3435d718d186507866d575881d3ae8fe" kindref="member">Type</ref><sp/>=<sp/>std::conditional_t&lt;specification_precedes&lt;Specification,<sp/>Head&gt;(),<sp/><ref refid="structserif_1_1utils_1_1types_1_1_type_list" kindref="compound">utils::types::TypeList</ref>&lt;Specification,<sp/>Head,<sp/>Tail...&gt;,</highlight></codeline>
<codeline lineno="33"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><ref refid="namespaceserif_1_1utils_1_1misc_1_1concepts_1a2033c0e99da6b421caa2422dd5f0a091" kindref="member">utils::misc::concepts::PrependT</ref>&lt;Head,<sp/></highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/><ref refid="structserif_1_1model_1_1detail_1_1_insert_specification" kindref="compound">InsertSpecification</ref>&lt;Specification,<sp/><ref refid="structserif_1_1utils_1_1types_1_1_type_list" kindref="compound">utils::types::TypeList</ref>&lt;Tail...&gt;&gt;<ref refid="structserif_1_1model_1_1detail_1_1_insert_specification_3_01_specification_00_01utils_1_1types_1c291e9ffd6f22f760258a73ade9a49a2_1a3435d718d186507866d575881d3ae8fe" kindref="member">::Type</ref>&gt;&gt;;</highlight></codeline>
<codeline lineno="34"><highlight class="normal"><sp/><sp/><sp/><sp/>};</highlight></codeline>
<codeline lineno="35"><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;</highlight><highlight class="keyword">typename</highlight><highlight class="normal">...<sp/>Specifications&gt;</highlight></codeline>
<codeline lineno="37" refid="structserif_1_1model_1_1detail_1_1_canonical_specifications" refkind="compound"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">struct<sp/></highlight><highlight class="normal"><ref refid="structserif_1_1model_1_1detail_1_1_canonical_specifications" kindref="compound">CanonicalSpecifications</ref>;</highlight></codeline>
<codeline lineno="38"><highlight class="normal"></highlight></codeline>
<codeline lineno="39"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/>&lt;&gt;</highlight></codeline>
<codeline lineno="40" refid="structserif_1_1model_1_1detail_1_1_canonical_specifications_3_4" refkind="compound"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">struct<sp/></highlight><highlight class="normal"><ref refid="structserif_1_1model_1_1detail_1_1_canonical_specifications" kindref="compound">CanonicalSpecifications</ref>&lt;&gt;</highlight></codeline>
<codeline lineno="41"><highlight class="normal"><sp/><sp/><sp/><sp/>{</highlight></codeline>
<codeline lineno="42"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal"><ref refid="structserif_1_1model_1_1detail_1_1_canonical_specifications_3_4_1aca46feef020d44529473ff246165eb93" kindref="member">Type</ref><sp/>=<sp/><ref refid="structserif_1_1utils_1_1types_1_1_type_list" kindref="compound">utils::types::TypeList&lt;&gt;</ref>;</highlight></codeline>
<codeline lineno="43"><highlight class="normal"><sp/><sp/><sp/><sp/>};</highlight></codeline>
<codeline lineno="44"><highlight class="normal"></highlight></codeline>
<codeline lineno="45"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/>&lt;</highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/>Head,<sp/></highlight><highlight class="keyword">typename</highlight><highlight class="normal">...<sp/>Tail&gt;</highlight></codeline>
<codeline lineno="46" refid="structserif_1_1model_1_1detail_1_1_canonical_specifications_3_01_head_00_01_tail_8_8_8_01_4" refkind="compound"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">struct<sp/></highlight><highlight class="normal"><ref refid="structserif_1_1model_1_1detail_1_1_canonical_specifications" kindref="compound">CanonicalSpecifications</ref>&lt;Head,<sp/>Tail...&gt;</highlight></codeline>
<codeline lineno="47"><highlight class="normal"><sp/><sp/><sp/><sp/>{</highlight></codeline>
<codeline lineno="48"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal"><ref refid="structserif_1_1model_1_1detail_1_1_canonical_specifications_3_01_head_00_01_tail_8_8_8_01_4_1a509c4af694b5373e6a8fffdb13dfd530" kindref="member">Type</ref><sp/>=<sp/></highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/><ref refid="structserif_1_1model_1_1detail_1_1_insert_specification" kindref="compound">InsertSpecification</ref>&lt;Head,<sp/></highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/><ref refid="structserif_1_1model_1_1detail_1_1_canonical_specifications" kindref="compound">CanonicalSpecifications</ref>&lt;Tail...&gt;<ref refid="structserif_1_1model_1_1detail_1_1_canonical_specifications_3_01_head_00_01_tail_8_8_8_01_4_1a509c4af694b5373e6a8fffdb13dfd530" kindref="member">::Type</ref>&gt;<ref refid="structserif_1_1model_1_1detail_1_1_canonical_specifications_3_01_head_00_01_tail_8_8_8_01_4_1a509c4af694b5373e6a8fffdb13dfd530" kindref="member">::Type</ref>;</highlight></codeline>
<codeline lineno="49"><highlight class="normal"><sp/><sp/><sp/><sp/>};</highlight></codeline>
<codeline lineno="50"><highlight class="normal"></highlight></codeline>
<codeline lineno="52"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/>&lt;<ref refid="conceptserif_1_1model_1_1_model_specification" kindref="compound">ModelSpecification</ref>...<sp/>Specifications&gt;</highlight></codeline>
<codeline lineno="53"><highlight class="normal"><sp/><sp/><sp/><sp/>[[nodiscard]]<sp/></highlight><highlight class="keyword">consteval</highlight><highlight class="normal"><sp/></highlight><highlight class="keywordtype">bool</highlight><highlight class="normal"><sp/><ref refid="namespaceserif_1_1model_1_1detail_1a8d010db5ddd840267eb5115b39546188" kindref="member">unique_specification_names</ref>()</highlight></codeline>
<codeline lineno="54"><highlight class="normal"><sp/><sp/><sp/><sp/>{</highlight></codeline>
<codeline lineno="55"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">constexpr</highlight><highlight class="normal"><sp/>std::array&lt;<ref refid="structserif_1_1model_1_1_specification_descriptor" kindref="compound">SpecificationDescriptor</ref>,<sp/></highlight><highlight class="keyword">sizeof</highlight><highlight class="normal">...(Specifications)&gt;<sp/>descriptions{{</highlight></codeline>
<codeline lineno="56"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>{Specifications::ModelDefinition::name,<sp/>Specifications::ModelDefinition::role,<sp/>Specifications::ModelDefinition::generated_state_kind}...</highlight></codeline>
<codeline lineno="57"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>}};</highlight></codeline>
<codeline lineno="58"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">for</highlight><highlight class="normal"><sp/>(std::size_t<sp/>left<sp/>=<sp/>0;<sp/>left<sp/>&lt;<sp/>descriptions.size();<sp/>++left)</highlight></codeline>
<codeline lineno="59"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>{</highlight></codeline>
<codeline lineno="60"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">for</highlight><highlight class="normal"><sp/>(std::size_t<sp/>right<sp/>=<sp/>left<sp/>+<sp/>1;<sp/>right<sp/>&lt;<sp/>descriptions.size();<sp/>++right)</highlight></codeline>
<codeline lineno="61"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>{</highlight></codeline>
<codeline lineno="62"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(descriptions[left].role<sp/>==<sp/>descriptions[right].role<sp/>&amp;&amp;<sp/>descriptions[left].name<sp/>==<sp/>descriptions[right].name)</highlight></codeline>
<codeline lineno="63"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>{</highlight></codeline>
<codeline lineno="64"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/></highlight><highlight class="keyword">false</highlight><highlight class="normal">;</highlight></codeline>
<codeline lineno="65"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>}</highlight></codeline>
<codeline lineno="66"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>}</highlight></codeline>
<codeline lineno="67"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>}</highlight></codeline>
<codeline lineno="68"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/></highlight><highlight class="keyword">true</highlight><highlight class="normal">;</highlight></codeline>
<codeline lineno="69"><highlight class="normal"><sp/><sp/><sp/><sp/>}</highlight></codeline>
<codeline lineno="70"><highlight class="normal"></highlight></codeline>
<codeline lineno="71"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/>&lt;<ref refid="namespaceserif_1_1model_1a80cb843c4b97c06905b775aba9d4b813" kindref="member">SpecificationRole</ref><sp/>Role,<sp/></highlight><highlight class="keyword">typename</highlight><highlight class="normal">...<sp/>Specifications&gt;</highlight></codeline>
<codeline lineno="72" refid="structserif_1_1model_1_1detail_1_1_select_role" refkind="compound"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">struct<sp/></highlight><highlight class="normal"><ref refid="structserif_1_1model_1_1detail_1_1_select_role" kindref="compound">SelectRole</ref></highlight></codeline>
<codeline lineno="73"><highlight class="normal"><sp/><sp/><sp/><sp/>{</highlight></codeline>
<codeline lineno="74"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/>&lt;</highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/>Specification&gt;</highlight></codeline>
<codeline lineno="75"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal"><ref refid="structserif_1_1model_1_1detail_1_1_select_role_1a3ba579aef7b199875f9a4e4c8b28f453" kindref="member">HasRole</ref><sp/>=<sp/>std::bool_constant&lt;Specification::ModelDefinition::role<sp/>==<sp/>Role&gt;;</highlight></codeline>
<codeline lineno="76"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal"><ref refid="structserif_1_1model_1_1detail_1_1_select_role_1a968f0ea987eaffebd22388393a43a65b" kindref="member">Type</ref><sp/>=<sp/><ref refid="namespaceserif_1_1utils_1_1misc_1_1concepts_1a7f4d5acf6ecfec39214a93e40c82bbf7" kindref="member">utils::misc::concepts::FilterT</ref>&lt;<ref refid="structserif_1_1utils_1_1types_1_1_type_list" kindref="compound">utils::types::TypeList</ref>&lt;Specifications...&gt;,<sp/><ref refid="structserif_1_1model_1_1detail_1_1_select_role_1a3ba579aef7b199875f9a4e4c8b28f453" kindref="member">HasRole</ref>&gt;;</highlight></codeline>
<codeline lineno="77"><highlight class="normal"><sp/><sp/><sp/><sp/>};</highlight></codeline>
<codeline lineno="78"><highlight class="normal"></highlight></codeline>
<codeline lineno="79"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/>&lt;</highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/>List,<sp/></highlight><highlight class="keyword">typename</highlight><highlight class="normal">...<sp/>Arguments&gt;</highlight></codeline>
<codeline lineno="80" refid="structserif_1_1model_1_1detail_1_1_arguments_match" refkind="compound"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">struct<sp/></highlight><highlight class="normal"><ref refid="structserif_1_1model_1_1detail_1_1_arguments_match" kindref="compound">ArgumentsMatch</ref>;</highlight></codeline>
<codeline lineno="81"><highlight class="normal"></highlight></codeline>
<codeline lineno="82"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/>&lt;</highlight><highlight class="keyword">typename</highlight><highlight class="normal">...<sp/>Specifications,<sp/></highlight><highlight class="keyword">typename</highlight><highlight class="normal">...<sp/>Arguments&gt;</highlight></codeline>
<codeline lineno="83" refid="structserif_1_1model_1_1detail_1_1_arguments_match_3_01utils_1_1types_1_1_type_list_3_01_specifi01658b4335377da22d90e0eb31cddca8" refkind="compound"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">struct<sp/></highlight><highlight class="normal"><ref refid="structserif_1_1model_1_1detail_1_1_arguments_match" kindref="compound">ArgumentsMatch</ref>&lt;<ref refid="namespaceserif_1_1utils" kindref="compound">utils</ref>::types::TypeList&lt;Specifications...&gt;,<sp/>Arguments...&gt;</highlight></codeline>
<codeline lineno="84"><highlight class="normal"><sp/><sp/><sp/><sp/>{</highlight></codeline>
<codeline lineno="85"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/>&lt;</highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/>Specification&gt;</highlight></codeline>
<codeline lineno="86"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static</highlight><highlight class="normal"><sp/></highlight><highlight class="keyword">constexpr</highlight><highlight class="normal"><sp/>std::size_t<sp/><ref refid="structserif_1_1model_1_1detail_1_1_arguments_match_3_01utils_1_1types_1_1_type_list_3_01_specifi01658b4335377da22d90e0eb31cddca8_1a15f070e433d3d69dad273834a59698a9" kindref="member">count</ref><sp/>=<sp/>(std::size_t{0}<sp/>+<sp/>...<sp/>+<sp/>std::size_t{std::same_as&lt;Specification,<sp/>std::remove_cvref_t&lt;Arguments&gt;&gt;});</highlight></codeline>
<codeline lineno="87"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static</highlight><highlight class="normal"><sp/></highlight><highlight class="keyword">constexpr</highlight><highlight class="normal"><sp/></highlight><highlight class="keywordtype">bool</highlight><highlight class="normal"><sp/><ref refid="structserif_1_1model_1_1detail_1_1_arguments_match_3_01utils_1_1types_1_1_type_list_3_01_specifi01658b4335377da22d90e0eb31cddca8_1adb1315722ef7a870021b60a00cef5186" kindref="member">value</ref><sp/>=<sp/></highlight><highlight class="keyword">sizeof</highlight><highlight class="normal">...(Specifications)<sp/>==<sp/></highlight><highlight class="keyword">sizeof</highlight><highlight class="normal">...(Arguments)<sp/>&amp;&amp;<sp/>((<ref refid="structserif_1_1model_1_1detail_1_1_arguments_match_3_01utils_1_1types_1_1_type_list_3_01_specifi01658b4335377da22d90e0eb31cddca8_1a15f070e433d3d69dad273834a59698a9" kindref="member">count&lt;Specifications&gt;</ref><sp/>==<sp/>1)<sp/>&amp;&amp;<sp/>...);</highlight></codeline>
<codeline lineno="88"><highlight class="normal"><sp/><sp/><sp/><sp/>};</highlight></codeline>
<codeline lineno="89"><highlight class="normal"></highlight></codeline>
<codeline lineno="91"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/>&lt;</highlight><highlight class="keyword">typename</highlight><highlight class="normal">...<sp/>Specifications,<sp/></highlight><highlight class="keyword">typename</highlight><highlight class="normal">...<sp/>Arguments&gt;</highlight></codeline>
<codeline lineno="92"><highlight class="normal"><sp/><sp/><sp/><sp/>[[nodiscard]]<sp/>std::tuple&lt;Specifications...&gt;<sp/><ref refid="namespaceserif_1_1model_1_1detail_1ad8854bd3348b3d8bd01f8758adfec8d8" kindref="member">canonical_specifications</ref>(<ref refid="structserif_1_1utils_1_1types_1_1_type_list" kindref="compound">utils::types::TypeList&lt;Specifications...&gt;</ref>,<sp/>Arguments&amp;&amp;...<sp/>arguments)</highlight></codeline>
<codeline lineno="93"><highlight class="normal"><sp/><sp/><sp/><sp/>{</highlight></codeline>
<codeline lineno="94"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>std::tuple&lt;std::remove_cvref_t&lt;Arguments&gt;...&gt;<sp/>values{std::forward&lt;Arguments&gt;(arguments)...};</highlight></codeline>
<codeline lineno="95"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>{std::get&lt;Specifications&gt;(std::move(values))...};</highlight></codeline>
<codeline lineno="96"><highlight class="normal"><sp/><sp/><sp/><sp/>}</highlight></codeline>
<codeline lineno="97"><highlight class="normal">}<sp/></highlight><highlight class="comment">//<sp/>namespace<sp/>serif::model::detail</highlight><highlight class="normal"></highlight></codeline>
</programlisting>
<location file="src/include/serif/model/detail/specification_list.hpp"/>
</compounddef>
</doxygen>