MeanField_SERiF/docs/xml/computation__graph_8cpp.xml

<?xml version='1.0' encoding='UTF-8' standalone='no'?>
<doxygen xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="compound.xsd" version="1.13.2" xml:lang="en-US">
  <compounddef id="computation__graph_8cpp" kind="file" language="C++">
    <compoundname>computation_graph.cpp</compoundname>
    <includes refid="computation__cache_8hpp" local="yes">serif/utils/dependencies/computation_cache.hpp</includes>
    <includes refid="timing_8hpp" local="yes">serif/utils/dependencies/timing.hpp</includes>
    <includes local="no">array</includes>
    <includes local="no">concepts</includes>
    <includes local="no">expected</includes>
    <includes local="no">memory</includes>
    <includes local="no">string</includes>
    <includes local="no">utility</includes>
    <incdepgraph>
      <node id="1">
        <label>src/compile_time_checks/serif/utils/dependencies/computation_graph.cpp</label>
        <link refid="computation__graph_8cpp"/>
        <childnode refid="2" relation="include">
        </childnode>
        <childnode refid="55" relation="include">
        </childnode>
        <childnode refid="26" relation="include">
        </childnode>
        <childnode refid="19" relation="include">
        </childnode>
        <childnode refid="28" relation="include">
        </childnode>
        <childnode refid="29" relation="include">
        </childnode>
        <childnode refid="7" relation="include">
        </childnode>
        <childnode refid="13" relation="include">
        </childnode>
      </node>
      <node id="21">
        <label>serif/meta/enums.hpp</label>
        <link refid="enums_8hpp"/>
        <childnode refid="22" relation="include">
        </childnode>
        <childnode refid="17" relation="include">
        </childnode>
        <childnode refid="23" relation="include">
        </childnode>
      </node>
      <node id="35">
        <label>serif/utils/dependencies/binding.hpp</label>
        <link refid="utils_2dependencies_2binding_8hpp"/>
        <childnode refid="26" relation="include">
        </childnode>
        <childnode refid="17" relation="include">
        </childnode>
        <childnode refid="36" relation="include">
        </childnode>
      </node>
      <node id="47">
        <label>serif/utils/dependencies/computation.hpp</label>
        <link refid="computation_8hpp"/>
        <childnode refid="19" relation="include">
        </childnode>
        <childnode refid="40" relation="include">
        </childnode>
        <childnode refid="17" relation="include">
        </childnode>
        <childnode refid="13" relation="include">
        </childnode>
        <childnode refid="34" relation="include">
        </childnode>
      </node>
      <node id="2">
        <label>serif/utils/dependencies/computation_cache.hpp</label>
        <link refid="computation__cache_8hpp"/>
        <childnode refid="3" relation="include">
        </childnode>
        <childnode refid="26" relation="include">
        </childnode>
        <childnode refid="19" relation="include">
        </childnode>
        <childnode refid="27" relation="include">
        </childnode>
        <childnode refid="8" relation="include">
        </childnode>
        <childnode refid="28" relation="include">
        </childnode>
        <childnode refid="29" relation="include">
        </childnode>
        <childnode refid="30" relation="include">
        </childnode>
        <childnode refid="7" relation="include">
        </childnode>
        <childnode refid="31" relation="include">
        </childnode>
        <childnode refid="17" relation="include">
        </childnode>
        <childnode refid="13" relation="include">
        </childnode>
        <childnode refid="32" relation="include">
        </childnode>
        <childnode refid="39" relation="include">
        </childnode>
        <childnode refid="51" relation="include">
        </childnode>
      </node>
      <node id="46">
        <label>serif/utils/dependencies/computation_graph.hpp</label>
        <link refid="computation__graph_8hpp"/>
        <childnode refid="19" relation="include">
        </childnode>
        <childnode refid="27" relation="include">
        </childnode>
        <childnode refid="31" relation="include">
        </childnode>
        <childnode refid="17" relation="include">
        </childnode>
        <childnode refid="13" relation="include">
        </childnode>
        <childnode refid="47" relation="include">
        </childnode>
        <childnode refid="48" relation="include">
        </childnode>
        <childnode refid="49" relation="include">
        </childnode>
      </node>
      <node id="42">
        <label>serif/utils/dependencies/dependency_context.hpp</label>
        <link refid="dependency__context_8hpp"/>
        <childnode refid="19" relation="include">
        </childnode>
        <childnode refid="31" relation="include">
        </childnode>
        <childnode refid="17" relation="include">
        </childnode>
        <childnode refid="13" relation="include">
        </childnode>
        <childnode refid="43" relation="include">
        </childnode>
        <childnode refid="33" relation="include">
        </childnode>
        <childnode refid="45" relation="include">
        </childnode>
      </node>
      <node id="51">
        <label>serif/utils/dependencies/detail/cache_storage.hpp</label>
        <link refid="cache__storage_8hpp"/>
        <childnode refid="26" relation="include">
        </childnode>
        <childnode refid="27" relation="include">
        </childnode>
        <childnode refid="8" relation="include">
        </childnode>
        <childnode refid="29" relation="include">
        </childnode>
        <childnode refid="31" relation="include">
        </childnode>
        <childnode refid="13" relation="include">
        </childnode>
        <childnode refid="52" relation="include">
        </childnode>
      </node>
      <node id="52">
        <label>serif/utils/dependencies/detail/cache_traits.hpp</label>
        <link refid="cache__traits_8hpp"/>
        <childnode refid="19" relation="include">
        </childnode>
        <childnode refid="27" relation="include">
        </childnode>
        <childnode refid="17" relation="include">
        </childnode>
        <childnode refid="13" relation="include">
        </childnode>
        <childnode refid="53" relation="include">
        </childnode>
        <childnode refid="41" relation="include">
        </childnode>
        <childnode refid="54" relation="include">
        </childnode>
      </node>
      <node id="49">
        <label>serif/utils/dependencies/detail/graph.hpp</label>
        <link refid="utils_2dependencies_2detail_2graph_8hpp"/>
        <childnode refid="26" relation="include">
        </childnode>
        <childnode refid="27" relation="include">
        </childnode>
        <childnode refid="33" relation="include">
        </childnode>
      </node>
      <node id="50">
        <label>serif/utils/dependencies/detail/result.hpp</label>
        <link refid="utils_2dependencies_2detail_2result_8hpp"/>
        <childnode refid="19" relation="include">
        </childnode>
        <childnode refid="28" relation="include">
        </childnode>
        <childnode refid="29" relation="include">
        </childnode>
        <childnode refid="17" relation="include">
        </childnode>
        <childnode refid="13" relation="include">
        </childnode>
        <childnode refid="38" relation="include">
        </childnode>
      </node>
      <node id="41">
        <label>serif/utils/dependencies/detail/schema.hpp</label>
        <link refid="utils_2dependencies_2detail_2schema_8hpp"/>
        <childnode refid="27" relation="include">
        </childnode>
        <childnode refid="17" relation="include">
        </childnode>
        <childnode refid="42" relation="include">
        </childnode>
        <childnode refid="46" relation="include">
        </childnode>
        <childnode refid="50" relation="include">
        </childnode>
      </node>
      <node id="33">
        <label>serif/utils/dependencies/detail/type_lists.hpp</label>
        <link refid="type__lists_8hpp"/>
        <childnode refid="26" relation="include">
        </childnode>
        <childnode refid="27" relation="include">
        </childnode>
        <childnode refid="17" relation="include">
        </childnode>
        <childnode refid="34" relation="include">
        </childnode>
      </node>
      <node id="34">
        <label>serif/utils/dependencies/key_list.hpp</label>
        <link refid="key__list_8hpp"/>
        <childnode refid="17" relation="include">
        </childnode>
        <childnode refid="35" relation="include">
        </childnode>
        <childnode refid="36" relation="include">
        </childnode>
        <childnode refid="38" relation="include">
        </childnode>
      </node>
      <node id="48">
        <label>serif/utils/dependencies/key_list_operations.hpp</label>
        <link refid="key__list__operations_8hpp"/>
        <childnode refid="27" relation="include">
        </childnode>
        <childnode refid="17" relation="include">
        </childnode>
        <childnode refid="33" relation="include">
        </childnode>
      </node>
      <node id="39">
        <label>serif/utils/dependencies/observers.hpp</label>
        <link refid="utils_2dependencies_2observers_8hpp"/>
        <childnode refid="26" relation="include">
        </childnode>
        <childnode refid="19" relation="include">
        </childnode>
        <childnode refid="27" relation="include">
        </childnode>
        <childnode refid="16" relation="include">
        </childnode>
        <childnode refid="40" relation="include">
        </childnode>
        <childnode refid="31" relation="include">
        </childnode>
        <childnode refid="17" relation="include">
        </childnode>
        <childnode refid="13" relation="include">
        </childnode>
        <childnode refid="5" relation="include">
        </childnode>
        <childnode refid="4" relation="include">
        </childnode>
        <childnode refid="41" relation="include">
        </childnode>
      </node>
      <node id="32">
        <label>serif/utils/dependencies/preparation.hpp</label>
        <link refid="utils_2dependencies_2preparation_8hpp"/>
        <childnode refid="9" relation="include">
        </childnode>
        <childnode refid="26" relation="include">
        </childnode>
        <childnode refid="27" relation="include">
        </childnode>
        <childnode refid="22" relation="include">
        </childnode>
        <childnode refid="4" relation="include">
        </childnode>
        <childnode refid="33" relation="include">
        </childnode>
        <childnode refid="21" relation="include">
        </childnode>
      </node>
      <node id="43">
        <label>serif/utils/dependencies/resource.hpp</label>
        <link refid="resource_8hpp"/>
        <childnode refid="40" relation="include">
        </childnode>
        <childnode refid="17" relation="include">
        </childnode>
        <childnode refid="13" relation="include">
        </childnode>
        <childnode refid="44" relation="include">
        </childnode>
      </node>
      <node id="44">
        <label>serif/utils/dependencies/snapshot.hpp</label>
        <link refid="snapshot_8hpp"/>
        <childnode refid="19" relation="include">
        </childnode>
        <childnode refid="40" relation="include">
        </childnode>
        <childnode refid="29" relation="include">
        </childnode>
        <childnode refid="17" relation="include">
        </childnode>
        <childnode refid="13" relation="include">
        </childnode>
      </node>
      <node id="55">
        <label>serif/utils/dependencies/timing.hpp</label>
        <link refid="timing_8hpp"/>
        <childnode refid="9" relation="include">
        </childnode>
        <childnode refid="56" relation="include">
        </childnode>
        <childnode refid="27" relation="include">
        </childnode>
        <childnode refid="8" relation="include">
        </childnode>
        <childnode refid="29" relation="include">
        </childnode>
        <childnode refid="7" relation="include">
        </childnode>
        <childnode refid="57" relation="include">
        </childnode>
        <childnode refid="58" relation="include">
        </childnode>
        <childnode refid="39" relation="include">
        </childnode>
      </node>
      <node id="20">
        <label>serif/utils/error/codes.hpp</label>
        <link refid="codes_8hpp"/>
        <childnode refid="8" relation="include">
        </childnode>
        <childnode refid="21" relation="include">
        </childnode>
      </node>
      <node id="3">
        <label>serif/utils/error/errors.hpp</label>
        <link refid="errors_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="15" relation="include">
        </childnode>
        <childnode refid="20" relation="include">
        </childnode>
        <childnode refid="24" relation="include">
        </childnode>
      </node>
      <node id="45">
        <label>serif/utils/misc/concepts/concat.hpp</label>
        <link refid="concat_8hpp"/>
        <childnode refid="38" relation="include">
        </childnode>
      </node>
      <node id="15">
        <label>serif/utils/misc/concepts/exceptions.hpp</label>
        <link refid="utils_2misc_2concepts_2exceptions_8hpp"/>
        <childnode refid="16" relation="include">
        </childnode>
        <childnode refid="17" relation="include">
        </childnode>
        <childnode refid="18" relation="include">
        </childnode>
      </node>
      <node id="54">
        <label>serif/utils/misc/concepts/filter.hpp</label>
        <link refid="filter_8hpp"/>
        <childnode refid="17" relation="include">
        </childnode>
        <childnode refid="38" relation="include">
        </childnode>
      </node>
      <node id="18">
        <label>serif/utils/misc/concepts/numeric.hpp</label>
        <link refid="numeric_8hpp"/>
        <childnode refid="19" relation="include">
        </childnode>
        <childnode refid="17" relation="include">
        </childnode>
      </node>
      <node id="37">
        <label>serif/utils/misc/std_helper/cleaning.hpp</label>
        <link refid="cleaning_8hpp"/>
        <childnode refid="17" relation="include">
        </childnode>
      </node>
      <node id="11">
        <label>serif/utils/misc/terminal/colors.hpp</label>
        <link refid="colors_8hpp"/>
        <childnode refid="4" relation="include">
        </childnode>
        <childnode refid="6" relation="include">
        </childnode>
        <childnode refid="12" relation="include">
        </childnode>
        <childnode refid="13" relation="include">
        </childnode>
        <childnode refid="14" relation="include">
        </childnode>
      </node>
      <node id="36">
        <label>serif/utils/misc/traits/type_uniqueness.hpp</label>
        <link refid="traits_2type__uniqueness_8hpp"/>
        <childnode refid="26" relation="include">
        </childnode>
        <childnode refid="37" relation="include">
        </childnode>
      </node>
      <node id="24">
        <label>serif/utils/types/strings.hpp</label>
        <link refid="types_2strings_8hpp"/>
        <childnode refid="9" relation="include">
        </childnode>
        <childnode refid="25" relation="include">
        </childnode>
        <childnode refid="4" relation="include">
        </childnode>
      </node>
      <node id="38">
        <label>serif/utils/types/type_list.hpp</label>
        <link refid="type__list_8hpp"/>
      </node>
      <node id="9">
        <label>algorithm</label>
      </node>
      <node id="26">
        <label>array</label>
      </node>
      <node id="56">
        <label>chrono</label>
      </node>
      <node id="19">
        <label>concepts</label>
      </node>
      <node id="27">
        <label>cstddef</label>
      </node>
      <node id="8">
        <label>cstdint</label>
      </node>
      <node id="6">
        <label>cstdio</label>
      </node>
      <node id="12">
        <label>cstdlib</label>
      </node>
      <node id="16">
        <label>exception</label>
      </node>
      <node id="28">
        <label>expected</label>
      </node>
      <node id="5">
        <label>format</label>
      </node>
      <node id="40">
        <label>functional</label>
      </node>
      <node id="25">
        <label>iostream</label>
      </node>
      <node id="23">
        <label>magic_enum/magic_enum_all.hpp</label>
      </node>
      <node id="29">
        <label>memory</label>
      </node>
      <node id="58">
        <label>nameof.hpp</label>
      </node>
      <node id="30">
        <label>stdexcept</label>
      </node>
      <node id="7">
        <label>string</label>
      </node>
      <node id="4">
        <label>string_view</label>
      </node>
      <node id="31">
        <label>tuple</label>
      </node>
      <node id="17">
        <label>type_traits</label>
      </node>
      <node id="14">
        <label>unistd.h</label>
      </node>
      <node id="22">
        <label>unordered_map</label>
      </node>
      <node id="13">
        <label>utility</label>
      </node>
      <node id="53">
        <label>variant</label>
      </node>
      <node id="57">
        <label>vector</label>
      </node>
      <node id="10">
        <label>version</label>
      </node>
    </incdepgraph>
    <briefdescription>
    </briefdescription>
    <detaileddescription>
    </detaileddescription>
    <programlisting>
<codeline lineno="1"><highlight class="preprocessor">#include<sp/>&quot;<ref refid="computation__cache_8hpp" kindref="compound">serif/utils/dependencies/computation_cache.hpp</ref>&quot;</highlight><highlight class="normal"></highlight></codeline>
<codeline lineno="2"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/>&quot;<ref refid="timing_8hpp" kindref="compound">serif/utils/dependencies/timing.hpp</ref>&quot;</highlight><highlight class="normal"></highlight></codeline>
<codeline lineno="3"><highlight class="normal"></highlight></codeline>
<codeline lineno="4"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/>&lt;array&gt;</highlight><highlight class="normal"></highlight></codeline>
<codeline lineno="5"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/>&lt;concepts&gt;</highlight><highlight class="normal"></highlight></codeline>
<codeline lineno="6"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/>&lt;expected&gt;</highlight><highlight class="normal"></highlight></codeline>
<codeline lineno="7"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/>&lt;memory&gt;</highlight><highlight class="normal"></highlight></codeline>
<codeline lineno="8"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/>&lt;string&gt;</highlight><highlight class="normal"></highlight></codeline>
<codeline lineno="9"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/>&lt;utility&gt;</highlight><highlight class="normal"></highlight></codeline>
<codeline lineno="10"><highlight class="normal"></highlight></codeline>
<codeline lineno="11"><highlight class="normal"></highlight><highlight class="keyword">namespace<sp/></highlight><highlight class="normal">{</highlight></codeline>
<codeline lineno="12"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">namespace<sp/></highlight><highlight class="normal">dependencies<sp/>=<sp/><ref refid="namespaceserif_1_1utils_1_1dependencies" kindref="compound">serif::utils::dependencies</ref>;</highlight></codeline>
<codeline lineno="13"><highlight class="normal"></highlight></codeline>
<codeline lineno="14"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">struct<sp/></highlight><highlight class="normal">Source<sp/>{};</highlight></codeline>
<codeline lineno="15"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">struct<sp/></highlight><highlight class="normal">First<sp/>{};</highlight></codeline>
<codeline lineno="16"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">struct<sp/></highlight><highlight class="normal">Second<sp/>{};</highlight></codeline>
<codeline lineno="17"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">struct<sp/></highlight><highlight class="normal">Missing<sp/>{};</highlight></codeline>
<codeline lineno="18"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">struct<sp/></highlight><highlight class="normal">Unused<sp/>{};</highlight></codeline>
<codeline lineno="19"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">struct<sp/></highlight><highlight class="normal">Untrackable<sp/>{};</highlight></codeline>
<codeline lineno="20"><highlight class="normal"></highlight></codeline>
<codeline lineno="21"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">DependencyContext<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">(dependencies::make_dependency_context(dependencies::own&lt;Source&gt;(1),<sp/>dependencies::own&lt;Unused&gt;(Untrackable{})));</highlight></codeline>
<codeline lineno="22"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">EmptyContext<sp/>=<sp/>dependencies::DependencyContext&lt;&gt;;</highlight></codeline>
<codeline lineno="23"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">FirstCalculation<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">(dependencies::make_computation&lt;First,<sp/>dependencies::InputList&lt;Source&gt;&gt;([](</highlight><highlight class="keywordtype">int</highlight><highlight class="normal"><sp/><ref refid="namespaceserif_1_1discretization_1_1backend_1_1mfem_1af75f98db90618153ea4ca169945733f7a2063c1608d6e0baf80249c42e2be5804" kindref="member">value</ref>)<sp/>{<sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/><ref refid="namespaceserif_1_1discretization_1_1backend_1_1mfem_1af75f98db90618153ea4ca169945733f7a2063c1608d6e0baf80249c42e2be5804" kindref="member">value</ref><sp/>+<sp/>1;<sp/>}));</highlight></codeline>
<codeline lineno="24"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">SecondCalculation<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">(dependencies::make_computation&lt;Second,<sp/>dependencies::InputList&lt;First&gt;&gt;([](</highlight><highlight class="keywordtype">int</highlight><highlight class="normal"><sp/><ref refid="namespaceserif_1_1discretization_1_1backend_1_1mfem_1af75f98db90618153ea4ca169945733f7a2063c1608d6e0baf80249c42e2be5804" kindref="member">value</ref>)<sp/>{<sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>2<sp/>*<sp/><ref refid="namespaceserif_1_1discretization_1_1backend_1_1mfem_1af75f98db90618153ea4ca169945733f7a2063c1608d6e0baf80249c42e2be5804" kindref="member">value</ref>;<sp/>}));</highlight></codeline>
<codeline lineno="25"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">ComputationGraph<sp/>=<sp/>dependencies::ComputationGraph&lt;SecondCalculation,<sp/>FirstCalculation&gt;;</highlight></codeline>
<codeline lineno="26"><highlight class="normal"></highlight></codeline>
<codeline lineno="27"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(dependencies::CompatibleComputations&lt;FirstCalculation,<sp/>SecondCalculation&gt;);</highlight></codeline>
<codeline lineno="28"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::CompatibleComputations&lt;FirstCalculation,<sp/>FirstCalculation&gt;);</highlight></codeline>
<codeline lineno="29"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::CompatibleComputations&lt;int&gt;);</highlight></codeline>
<codeline lineno="30"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(dependencies::ComputationGraphFor&lt;ComputationGraph,<sp/>DependencyContext&gt;);</highlight></codeline>
<codeline lineno="31"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(dependencies::ComputationGraphFor&lt;const<sp/>ComputationGraph&amp;,<sp/>const<sp/>DependencyContext&amp;&gt;);</highlight></codeline>
<codeline lineno="32"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::ComputationGraphFor&lt;ComputationGraph,<sp/>EmptyContext&gt;);</highlight></codeline>
<codeline lineno="33"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::ComputationGraphFor&lt;int,<sp/>DependencyContext&gt;<sp/>&amp;&amp;<sp/>!dependencies::ComputationGraphFor&lt;ComputationGraph,<sp/>int&gt;);</highlight></codeline>
<codeline lineno="34"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(dependencies::ComputationGraphFor&lt;dependencies::ComputationGraph&lt;&gt;,<sp/>EmptyContext&gt;);</highlight></codeline>
<codeline lineno="35"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(ComputationGraph::Dependencies::order<sp/>==<sp/>std::array&lt;std::size_t,<sp/>2&gt;{1,<sp/>0});</highlight></codeline>
<codeline lineno="36"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(ComputationGraph::Dependencies::required(dependencies::KeyList&lt;Second&gt;{})<sp/>==<sp/>std::array&lt;bool,<sp/>2&gt;{</highlight><highlight class="keyword">true</highlight><highlight class="normal">,<sp/></highlight><highlight class="keyword">true</highlight><highlight class="normal">});</highlight></codeline>
<codeline lineno="37"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(ComputationGraph::Dependencies::required(dependencies::KeyList&lt;First&gt;{})<sp/>==<sp/>std::array&lt;bool,<sp/>2&gt;{</highlight><highlight class="keyword">false</highlight><highlight class="normal">,<sp/></highlight><highlight class="keyword">true</highlight><highlight class="normal">});</highlight></codeline>
<codeline lineno="38"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(ComputationGraph::Dependencies::required(dependencies::KeyList&lt;&gt;{})<sp/>==<sp/>std::array&lt;bool,<sp/>2&gt;{</highlight><highlight class="keyword">false</highlight><highlight class="normal">,<sp/></highlight><highlight class="keyword">false</highlight><highlight class="normal">});</highlight></codeline>
<codeline lineno="39"><highlight class="normal"></highlight></codeline>
<codeline lineno="40"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">CyclicFirst<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">(dependencies::make_computation&lt;First,<sp/>dependencies::InputList&lt;Second&gt;&gt;([](</highlight><highlight class="keywordtype">int</highlight><highlight class="normal"><sp/><ref refid="namespaceserif_1_1discretization_1_1backend_1_1mfem_1af75f98db90618153ea4ca169945733f7a2063c1608d6e0baf80249c42e2be5804" kindref="member">value</ref>)<sp/>{<sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/><ref refid="namespaceserif_1_1discretization_1_1backend_1_1mfem_1af75f98db90618153ea4ca169945733f7a2063c1608d6e0baf80249c42e2be5804" kindref="member">value</ref>;<sp/>}));</highlight></codeline>
<codeline lineno="41"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">SelfCycle<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">(dependencies::make_computation&lt;First,<sp/>dependencies::InputList&lt;First&gt;&gt;([](</highlight><highlight class="keywordtype">int</highlight><highlight class="normal"><sp/><ref refid="namespaceserif_1_1discretization_1_1backend_1_1mfem_1af75f98db90618153ea4ca169945733f7a2063c1608d6e0baf80249c42e2be5804" kindref="member">value</ref>)<sp/>{<sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/><ref refid="namespaceserif_1_1discretization_1_1backend_1_1mfem_1af75f98db90618153ea4ca169945733f7a2063c1608d6e0baf80249c42e2be5804" kindref="member">value</ref>;<sp/>}));</highlight></codeline>
<codeline lineno="42"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::CompatibleComputations&lt;CyclicFirst,<sp/>SecondCalculation&gt;);</highlight></codeline>
<codeline lineno="43"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::CompatibleComputations&lt;SelfCycle&gt;);</highlight></codeline>
<codeline lineno="44"><highlight class="normal"></highlight></codeline>
<codeline lineno="45"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">DuplicateProducer<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">(dependencies::make_dependency_context(dependencies::own&lt;Source&gt;(1),<sp/>dependencies::own&lt;First&gt;(2)));</highlight></codeline>
<codeline lineno="46"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::ComputationGraphFor&lt;ComputationGraph,<sp/>DuplicateProducer&gt;);</highlight></codeline>
<codeline lineno="47"><highlight class="normal"></highlight></codeline>
<codeline lineno="48"><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/>FunctionT,<sp/></highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/>InputsT<sp/>=<sp/>dependencies::InputList&lt;Source&gt;&gt;</highlight></codeline>
<codeline lineno="49"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">SingleGraph<sp/>=<sp/>dependencies::ComputationGraph&lt;dependencies::Computation&lt;First,<sp/>InputsT,<sp/>FunctionT&gt;&gt;;</highlight></codeline>
<codeline lineno="50"><highlight class="normal"></highlight></codeline>
<codeline lineno="51"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">MutableInput<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">([](</highlight><highlight class="keywordtype">int</highlight><highlight class="normal">&amp;<sp/><ref refid="namespaceserif_1_1discretization_1_1backend_1_1mfem_1af75f98db90618153ea4ca169945733f7a2063c1608d6e0baf80249c42e2be5804" kindref="member">value</ref>)<sp/>{<sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>++<ref refid="namespaceserif_1_1discretization_1_1backend_1_1mfem_1af75f98db90618153ea4ca169945733f7a2063c1608d6e0baf80249c42e2be5804" kindref="member">value</ref>;<sp/>});</highlight></codeline>
<codeline lineno="52"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">MutableCallable<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">([<ref refid="namespaceserif_1_1discretization_1_1backend_1_1mfem_1af75f98db90618153ea4ca169945733f7a2063c1608d6e0baf80249c42e2be5804" kindref="member">value</ref><sp/>=<sp/>0](int)<sp/></highlight><highlight class="keyword">mutable</highlight><highlight class="normal"><sp/>{<sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>++<ref refid="namespaceserif_1_1discretization_1_1backend_1_1mfem_1af75f98db90618153ea4ca169945733f7a2063c1608d6e0baf80249c42e2be5804" kindref="member">value</ref>;<sp/>});</highlight></codeline>
<codeline lineno="53"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">WrongArity<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">([](int,<sp/>int)<sp/>{<sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>0;<sp/>});</highlight></codeline>
<codeline lineno="54"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">WrongType<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">([](</highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/>std::string&amp;)<sp/>{<sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>0;<sp/>});</highlight></codeline>
<codeline lineno="55"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">VoidResult<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">([](int)<sp/>{});</highlight></codeline>
<codeline lineno="56"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">ReferenceResult<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">([](</highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/></highlight><highlight class="keywordtype">int</highlight><highlight class="normal">&amp;<sp/><ref refid="namespaceserif_1_1discretization_1_1backend_1_1mfem_1af75f98db90618153ea4ca169945733f7a2063c1608d6e0baf80249c42e2be5804" kindref="member">value</ref>)<sp/>-&gt;<sp/></highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/></highlight><highlight class="keywordtype">int</highlight><highlight class="normal">&amp;<sp/>{<sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/><ref refid="namespaceserif_1_1discretization_1_1backend_1_1mfem_1af75f98db90618153ea4ca169945733f7a2063c1608d6e0baf80249c42e2be5804" kindref="member">value</ref>;<sp/>});</highlight></codeline>
<codeline lineno="57"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">MoveOnlyResult<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">([](</highlight><highlight class="keywordtype">int</highlight><highlight class="normal"><sp/><ref refid="namespaceserif_1_1discretization_1_1backend_1_1mfem_1af75f98db90618153ea4ca169945733f7a2063c1608d6e0baf80249c42e2be5804" kindref="member">value</ref>)<sp/>{<sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>std::make_unique&lt;int&gt;(value);<sp/>});</highlight></codeline>
<codeline lineno="58"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">VoidExpected<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">([](int)<sp/>-&gt;<sp/>std::expected&lt;void,<sp/>std::string&gt;<sp/>{<sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>{};<sp/>});</highlight></codeline>
<codeline lineno="59"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">Unary<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">([](</highlight><highlight class="keywordtype">int</highlight><highlight class="normal"><sp/><ref refid="namespaceserif_1_1discretization_1_1backend_1_1mfem_1af75f98db90618153ea4ca169945733f7a2063c1608d6e0baf80249c42e2be5804" kindref="member">value</ref>)<sp/>{<sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/><ref refid="namespaceserif_1_1discretization_1_1backend_1_1mfem_1af75f98db90618153ea4ca169945733f7a2063c1608d6e0baf80249c42e2be5804" kindref="member">value</ref>;<sp/>});</highlight></codeline>
<codeline lineno="60"><highlight class="normal"></highlight></codeline>
<codeline lineno="61"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::ComputationGraphFor&lt;SingleGraph&lt;MutableInput&gt;,<sp/>DependencyContext&gt;);</highlight></codeline>
<codeline lineno="62"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::ComputationGraphFor&lt;SingleGraph&lt;MutableCallable&gt;,<sp/>DependencyContext&gt;);</highlight></codeline>
<codeline lineno="63"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::ComputationGraphFor&lt;SingleGraph&lt;WrongArity&gt;,<sp/>DependencyContext&gt;);</highlight></codeline>
<codeline lineno="64"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::ComputationGraphFor&lt;SingleGraph&lt;WrongType&gt;,<sp/>DependencyContext&gt;);</highlight></codeline>
<codeline lineno="65"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::ComputationGraphFor&lt;SingleGraph&lt;VoidResult&gt;,<sp/>DependencyContext&gt;);</highlight></codeline>
<codeline lineno="66"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::ComputationGraphFor&lt;SingleGraph&lt;ReferenceResult&gt;,<sp/>DependencyContext&gt;);</highlight></codeline>
<codeline lineno="67"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::ComputationGraphFor&lt;SingleGraph&lt;VoidExpected&gt;,<sp/>DependencyContext&gt;);</highlight></codeline>
<codeline lineno="68"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::ComputationGraphFor&lt;SingleGraph&lt;Unary,<sp/>dependencies::InputList&lt;Missing&gt;&gt;,<sp/>DependencyContext&gt;);</highlight></codeline>
<codeline lineno="69"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(dependencies::ComputationGraphFor&lt;SingleGraph&lt;MoveOnlyResult&gt;,<sp/>DependencyContext&gt;);</highlight></codeline>
<codeline lineno="70"><highlight class="normal"></highlight></codeline>
<codeline lineno="71"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">Fallible<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">([](</highlight><highlight class="keywordtype">int</highlight><highlight class="normal"><sp/><ref refid="namespaceserif_1_1discretization_1_1backend_1_1mfem_1af75f98db90618153ea4ca169945733f7a2063c1608d6e0baf80249c42e2be5804" kindref="member">value</ref>)<sp/>-&gt;<sp/>std::expected&lt;int,<sp/>int&gt;<sp/>{<sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/><ref refid="namespaceserif_1_1discretization_1_1backend_1_1mfem_1af75f98db90618153ea4ca169945733f7a2063c1608d6e0baf80249c42e2be5804" kindref="member">value</ref>;<sp/>});</highlight></codeline>
<codeline lineno="72"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">ConstFallible<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">([](</highlight><highlight class="keywordtype">int</highlight><highlight class="normal"><sp/><ref refid="namespaceserif_1_1discretization_1_1backend_1_1mfem_1af75f98db90618153ea4ca169945733f7a2063c1608d6e0baf80249c42e2be5804" kindref="member">value</ref>)<sp/>-&gt;<sp/></highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/>std::expected&lt;int,<sp/>int&gt;<sp/>{<sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/><ref refid="namespaceserif_1_1discretization_1_1backend_1_1mfem_1af75f98db90618153ea4ca169945733f7a2063c1608d6e0baf80249c42e2be5804" kindref="member">value</ref>;<sp/>});</highlight></codeline>
<codeline lineno="73"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(dependencies::CanPrepare&lt;ComputationGraph,<sp/>DependencyContext,<sp/>std::string&gt;);<sp/></highlight><highlight class="comment">//<sp/>Unused<sp/>resources<sp/>need<sp/>no<sp/>tracking<sp/>policy.</highlight><highlight class="normal"></highlight></codeline>
<codeline lineno="74"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(dependencies::CanPrepare&lt;SingleGraph&lt;Fallible&gt;,<sp/>DependencyContext,<sp/></highlight><highlight class="keywordtype">int</highlight><highlight class="normal">&gt;);</highlight></codeline>
<codeline lineno="75"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::CanPrepare&lt;SingleGraph&lt;Fallible&gt;,<sp/>DependencyContext,<sp/>std::string&gt;);</highlight></codeline>
<codeline lineno="76"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(dependencies::CanPrepare&lt;SingleGraph&lt;ConstFallible&gt;,<sp/>DependencyContext,<sp/></highlight><highlight class="keywordtype">int</highlight><highlight class="normal">&gt;);</highlight></codeline>
<codeline lineno="77"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::CanPrepare&lt;SingleGraph&lt;ConstFallible&gt;,<sp/>DependencyContext,<sp/>std::string&gt;);</highlight></codeline>
<codeline lineno="78"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(dependencies::CanPrepare&lt;SingleGraph&lt;MoveOnlyResult&gt;,<sp/>DependencyContext,<sp/>std::string&gt;);</highlight></codeline>
<codeline lineno="79"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::CanPrepare&lt;ComputationGraph,<sp/>DependencyContext,<sp/>void&gt;);</highlight></codeline>
<codeline lineno="80"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::CanPrepare&lt;ComputationGraph,<sp/>DependencyContext,<sp/>int&amp;&gt;);</highlight></codeline>
<codeline lineno="81"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::CanPrepare&lt;int,<sp/>DependencyContext,<sp/>int&gt;);</highlight></codeline>
<codeline lineno="82"><highlight class="normal"></highlight></codeline>
<codeline lineno="83"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">ReadUntrackable<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">([](</highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/>Untrackable&amp;)<sp/>{<sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>1;<sp/>});</highlight></codeline>
<codeline lineno="84"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">UntrackableGraph<sp/>=<sp/>SingleGraph&lt;ReadUntrackable,<sp/>dependencies::InputList&lt;Unused&gt;&gt;;</highlight></codeline>
<codeline lineno="85"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(dependencies::ComputationGraphFor&lt;UntrackableGraph,<sp/>DependencyContext&gt;);</highlight></codeline>
<codeline lineno="86"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::CanPrepare&lt;UntrackableGraph,<sp/>DependencyContext,<sp/>std::string&gt;);</highlight></codeline>
<codeline lineno="87"><highlight class="normal"></highlight></codeline>
<codeline lineno="88"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">ComputationCache<sp/>=<sp/>dependencies::ComputationCache&lt;ComputationGraph,<sp/>DependencyContext&gt;;</highlight></codeline>
<codeline lineno="89"><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/>RequestedT&gt;</highlight></codeline>
<codeline lineno="90" refid="concept_0d200074317303167056063064256070046203054064052214_1_1_can_request" refkind="compound"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">concept<sp/></highlight><highlight class="normal"><ref refid="concept_0d200074317303167056063064256070046203054064052214_1_1_can_request" kindref="compound">CanRequest</ref><sp/>=<sp/></highlight><highlight class="keyword">requires</highlight><highlight class="normal">(ComputationCache&amp;<sp/>cache,<sp/></highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/>DependencyContext&amp;<sp/>context,<sp/>RequestedT<sp/>request)<sp/>{</highlight></codeline>
<codeline lineno="91"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>cache.try_prepare(context,<sp/>request);</highlight></codeline>
<codeline lineno="92"><highlight class="normal"><sp/><sp/><sp/><sp/>};</highlight></codeline>
<codeline lineno="93"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(<ref refid="concept_0d200074317303167056063064256070046203054064052214_1_1_can_request" kindref="compound">CanRequest&lt;dependencies::RequestedResults&lt;&gt;</ref>&gt;);</highlight></codeline>
<codeline lineno="94"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(<ref refid="concept_0d200074317303167056063064256070046203054064052214_1_1_can_request" kindref="compound">CanRequest&lt;dependencies::RequestedResults&lt;First&gt;</ref>&gt;);</highlight></codeline>
<codeline lineno="95"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(<ref refid="concept_0d200074317303167056063064256070046203054064052214_1_1_can_request" kindref="compound">CanRequest&lt;dependencies::RequestedResults&lt;Second, First&gt;</ref>&gt;);</highlight></codeline>
<codeline lineno="96"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!<ref refid="concept_0d200074317303167056063064256070046203054064052214_1_1_can_request" kindref="compound">CanRequest&lt;dependencies::InputList&lt;Source&gt;</ref>&gt;);</highlight></codeline>
<codeline lineno="97"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!<ref refid="concept_0d200074317303167056063064256070046203054064052214_1_1_can_request" kindref="compound">CanRequest&lt;dependencies::InputList&lt;Missing&gt;</ref>&gt;);</highlight></codeline>
<codeline lineno="98"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!<ref refid="concept_0d200074317303167056063064256070046203054064052214_1_1_can_request" kindref="compound">CanRequest&lt;dependencies::RequestedResults&lt;First, First&gt;</ref>&gt;);</highlight></codeline>
<codeline lineno="99"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!<ref refid="concept_0d200074317303167056063064256070046203054064052214_1_1_can_request" kindref="compound">CanRequest&lt;int&gt;</ref>);</highlight></codeline>
<codeline lineno="100"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!std::copy_constructible&lt;ComputationCache&gt;);</highlight></codeline>
<codeline lineno="101"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(std::move_constructible&lt;ComputationCache&gt;);</highlight></codeline>
<codeline lineno="102"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(std::same_as&lt;decltype(std::declval&lt;const<sp/>ComputationCache&amp;&gt;().get&lt;First&gt;()),<sp/></highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/></highlight><highlight class="keywordtype">int</highlight><highlight class="normal">&amp;&gt;);</highlight></codeline>
<codeline lineno="103"><highlight class="normal"></highlight></codeline>
<codeline lineno="104"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">Inputs<sp/>=<sp/>dependencies::InputList&lt;Source&gt;;</highlight></codeline>
<codeline lineno="105"><highlight class="normal"></highlight></codeline>
<codeline lineno="106"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">struct<sp/></highlight><highlight class="normal">WrongIdentity<sp/>:<sp/>dependencies::ValueSnapshot<sp/>{</highlight></codeline>
<codeline lineno="107"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>std::string<sp/>identity(</highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/></highlight><highlight class="keywordtype">int</highlight><highlight class="normal">&amp;)<sp/></highlight><highlight class="keyword">const</highlight><highlight class="normal">;</highlight></codeline>
<codeline lineno="108"><highlight class="normal"><sp/><sp/><sp/><sp/>};</highlight></codeline>
<codeline lineno="109"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::SnapshotPolicyFor&lt;WrongIdentity,<sp/>int&gt;);</highlight></codeline>
<codeline lineno="110"><highlight class="normal"></highlight></codeline>
<codeline lineno="111"><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/>FunctionT,<sp/></highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/>InputsT<sp/>=<sp/>dependencies::InputList&lt;Source&gt;&gt;</highlight></codeline>
<codeline lineno="112" refid="concept_0d200074317303167056063064256070046203054064052214_1_1_can_make_computation" refkind="compound"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">concept<sp/></highlight><highlight class="normal"><ref refid="concept_0d200074317303167056063064256070046203054064052214_1_1_can_make_computation" kindref="compound">CanMakeComputation</ref><sp/>=<sp/></highlight><highlight class="keyword">requires</highlight><highlight class="normal">(FunctionT&amp;&amp;<sp/>function)<sp/>{</highlight></codeline>
<codeline lineno="113"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>dependencies::make_computation&lt;First,<sp/>InputsT&gt;(std::forward&lt;FunctionT&gt;(function));</highlight></codeline>
<codeline lineno="114"><highlight class="normal"><sp/><sp/><sp/><sp/>};</highlight></codeline>
<codeline lineno="115"><highlight class="normal"></highlight></codeline>
<codeline lineno="116"><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/>ContextT,<sp/></highlight><highlight class="keyword">typename</highlight><highlight class="normal">...<sp/>Computations&gt;</highlight></codeline>
<codeline lineno="117" refid="concept_0d200074317303167056063064256070046203054064052214_1_1_can_make_cache" refkind="compound"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">concept<sp/></highlight><highlight class="normal"><ref refid="concept_0d200074317303167056063064256070046203054064052214_1_1_can_make_cache" kindref="compound">CanMakeCache</ref><sp/>=<sp/></highlight><highlight class="keyword">requires</highlight><highlight class="normal">(</highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/>ContextT&amp;<sp/>context,<sp/>Computations&amp;&amp;...<sp/>computations)<sp/>{</highlight></codeline>
<codeline lineno="118"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>dependencies::make_computation_cache(context,<sp/>std::forward&lt;Computations&gt;(computations)...);</highlight></codeline>
<codeline lineno="119"><highlight class="normal"><sp/><sp/><sp/><sp/>};</highlight></codeline>
<codeline lineno="120"><highlight class="normal"></highlight></codeline>
<codeline lineno="121"><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/>ErrorT,<sp/></highlight><highlight class="keyword">typename</highlight><highlight class="normal">...<sp/>Computations&gt;</highlight></codeline>
<codeline lineno="122" refid="concept_0d200074317303167056063064256070046203054064052214_1_1_can_make_fallible_cache" refkind="compound"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">concept<sp/></highlight><highlight class="normal"><ref refid="concept_0d200074317303167056063064256070046203054064052214_1_1_can_make_fallible_cache" kindref="compound">CanMakeFallibleCache</ref><sp/>=<sp/></highlight><highlight class="keyword">requires</highlight><highlight class="normal">(</highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/>DependencyContext&amp;<sp/>context,<sp/>Computations&amp;&amp;...<sp/>computations)<sp/>{</highlight></codeline>
<codeline lineno="123"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>dependencies::make_computation_cache&lt;ErrorT&gt;(context,<sp/>std::forward&lt;Computations&gt;(computations)...);</highlight></codeline>
<codeline lineno="124"><highlight class="normal"><sp/><sp/><sp/><sp/>};</highlight></codeline>
<codeline lineno="125"><highlight class="normal"></highlight></codeline>
<codeline lineno="126"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(<ref refid="concept_0d200074317303167056063064256070046203054064052214_1_1_can_make_computation" kindref="compound">CanMakeComputation&lt;Unary&gt;</ref>);</highlight></codeline>
<codeline lineno="127"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!<ref refid="concept_0d200074317303167056063064256070046203054064052214_1_1_can_make_computation" kindref="compound">CanMakeComputation&lt;Unary, int&gt;</ref>);</highlight></codeline>
<codeline lineno="128"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!<ref refid="concept_0d200074317303167056063064256070046203054064052214_1_1_can_make_computation" kindref="compound">CanMakeComputation&lt;Unary, dependencies::InputList&lt;Source, Source&gt;</ref>&gt;);</highlight></codeline>
<codeline lineno="129"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(<ref refid="concept_0d200074317303167056063064256070046203054064052214_1_1_can_make_cache" kindref="compound">CanMakeCache&lt;DependencyContext, const SecondCalculation&amp;, const FirstCalculation&amp;&gt;</ref>);</highlight></codeline>
<codeline lineno="130"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(<ref refid="concept_0d200074317303167056063064256070046203054064052214_1_1_can_make_cache" kindref="compound">CanMakeCache&lt;EmptyContext&gt;</ref>);</highlight></codeline>
<codeline lineno="131"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!<ref refid="concept_0d200074317303167056063064256070046203054064052214_1_1_can_make_cache" kindref="compound">CanMakeCache&lt;int, FirstCalculation&gt;</ref>);</highlight></codeline>
<codeline lineno="132"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!<ref refid="concept_0d200074317303167056063064256070046203054064052214_1_1_can_make_cache" kindref="compound">CanMakeCache&lt;DependencyContext, int&gt;</ref>);</highlight></codeline>
<codeline lineno="133"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!<ref refid="concept_0d200074317303167056063064256070046203054064052214_1_1_can_make_cache" kindref="compound">CanMakeCache&lt;EmptyContext, FirstCalculation&gt;</ref>);</highlight></codeline>
<codeline lineno="134"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!<ref refid="concept_0d200074317303167056063064256070046203054064052214_1_1_can_make_cache" kindref="compound">CanMakeCache&lt;DependencyContext, FirstCalculation, FirstCalculation&gt;</ref>);</highlight></codeline>
<codeline lineno="135"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!<ref refid="concept_0d200074317303167056063064256070046203054064052214_1_1_can_make_cache" kindref="compound">CanMakeCache&lt;DependencyContext, CyclicFirst, SecondCalculation&gt;</ref>);</highlight></codeline>
<codeline lineno="136"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!<ref refid="concept_0d200074317303167056063064256070046203054064052214_1_1_can_make_cache" kindref="compound">CanMakeCache&lt;DependencyContext, SelfCycle&gt;</ref>);</highlight></codeline>
<codeline lineno="137"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!<ref refid="concept_0d200074317303167056063064256070046203054064052214_1_1_can_make_cache" kindref="compound">CanMakeCache&lt;DuplicateProducer, FirstCalculation&gt;</ref>);</highlight></codeline>
<codeline lineno="138"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!<ref refid="concept_0d200074317303167056063064256070046203054064052214_1_1_can_make_cache" kindref="compound">CanMakeCache&lt;DependencyContext, dependencies::Computation&lt;First, Inputs, WrongType&gt;</ref>&gt;);</highlight></codeline>
<codeline lineno="139"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(<ref refid="concept_0d200074317303167056063064256070046203054064052214_1_1_can_make_fallible_cache" kindref="compound">CanMakeFallibleCache&lt;int, dependencies::Computation&lt;First, Inputs, Fallible&gt;</ref>&gt;);</highlight></codeline>
<codeline lineno="140"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!<ref refid="concept_0d200074317303167056063064256070046203054064052214_1_1_can_make_fallible_cache" kindref="compound">CanMakeFallibleCache&lt;std::string, dependencies::Computation&lt;First, Inputs, Fallible&gt;</ref>&gt;);</highlight></codeline>
<codeline lineno="141"><highlight class="normal"></highlight></codeline>
<codeline lineno="142"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">MoveOnlyCallable<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">([value<sp/>=<sp/>std::make_unique&lt;int&gt;(2)](</highlight><highlight class="keywordtype">int</highlight><highlight class="normal"><sp/>input)<sp/>{<sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>input<sp/>+<sp/>*value;<sp/>});</highlight></codeline>
<codeline lineno="143"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">MoveOnlyComputation<sp/>=<sp/>dependencies::Computation&lt;First,<sp/>Inputs,<sp/>MoveOnlyCallable&gt;;</highlight></codeline>
<codeline lineno="144"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(CanMakeComputation&lt;MoveOnlyCallable&gt;);</highlight></codeline>
<codeline lineno="145"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!CanMakeComputation&lt;MoveOnlyCallable&amp;&gt;);</highlight></codeline>
<codeline lineno="146"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(CanMakeCache&lt;DependencyContext,<sp/>MoveOnlyComputation&gt;);</highlight></codeline>
<codeline lineno="147"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!CanMakeCache&lt;DependencyContext,<sp/>MoveOnlyComputation&amp;&gt;);</highlight></codeline>
<codeline lineno="148"><highlight class="normal"></highlight></codeline>
<codeline lineno="149"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">OwningCalculation<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">(dependencies::make_owning_computation&lt;Second,<sp/>dependencies::InputList&lt;First&gt;&gt;([](std::shared_ptr&lt;const<sp/>int&gt;<sp/>value)</highlight></codeline>
<codeline lineno="150"><highlight class="normal"><sp/><sp/><sp/><sp/>{</highlight></codeline>
<codeline lineno="151"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>value;</highlight></codeline>
<codeline lineno="152"><highlight class="normal"><sp/><sp/><sp/><sp/>}));</highlight></codeline>
<codeline lineno="153"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">OwningGraph<sp/>=<sp/>dependencies::ComputationGraph&lt;OwningCalculation,<sp/>FirstCalculation&gt;;</highlight></codeline>
<codeline lineno="154"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(dependencies::CanPrepare&lt;OwningGraph,<sp/>DependencyContext,<sp/>std::string&gt;);</highlight></codeline>
<codeline lineno="155"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(CanMakeCache&lt;DependencyContext,<sp/>OwningCalculation,<sp/>FirstCalculation&gt;);</highlight></codeline>
<codeline lineno="156"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::CompatibleComputations&lt;OwningCalculation&gt;);</highlight></codeline>
<codeline lineno="157"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!CanMakeCache&lt;DependencyContext,<sp/>OwningCalculation&gt;);</highlight></codeline>
<codeline lineno="158"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!CanMakeCache&lt;DuplicateProducer,<sp/>OwningCalculation&gt;);</highlight></codeline>
<codeline lineno="159"><highlight class="normal"></highlight></codeline>
<codeline lineno="160"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">OwnsSource<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">(dependencies::make_owning_computation&lt;Second,<sp/>dependencies::InputList&lt;Source&gt;&gt;([](std::shared_ptr&lt;const<sp/>int&gt;<sp/><ref refid="namespaceserif_1_1discretization_1_1backend_1_1mfem_1af75f98db90618153ea4ca169945733f7a2063c1608d6e0baf80249c42e2be5804" kindref="member">value</ref>)</highlight></codeline>
<codeline lineno="161"><highlight class="normal"><sp/><sp/><sp/><sp/>{</highlight></codeline>
<codeline lineno="162"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/><ref refid="namespaceserif_1_1discretization_1_1backend_1_1mfem_1af75f98db90618153ea4ca169945733f7a2063c1608d6e0baf80249c42e2be5804" kindref="member">value</ref>;</highlight></codeline>
<codeline lineno="163"><highlight class="normal"><sp/><sp/><sp/><sp/>}));</highlight></codeline>
<codeline lineno="164"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!CanMakeCache&lt;DependencyContext,<sp/>OwnsSource,<sp/>FirstCalculation&gt;);</highlight></codeline>
<codeline lineno="165"><highlight class="normal"></highlight></codeline>
<codeline lineno="166"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">MutableOwnedInput<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">(dependencies::make_owning_computation&lt;Second,<sp/>dependencies::InputList&lt;First&gt;&gt;([](std::shared_ptr&lt;int&gt;<sp/><ref refid="namespaceserif_1_1discretization_1_1backend_1_1mfem_1af75f98db90618153ea4ca169945733f7a2063c1608d6e0baf80249c42e2be5804" kindref="member">value</ref>)</highlight></codeline>
<codeline lineno="167"><highlight class="normal"><sp/><sp/><sp/><sp/>{</highlight></codeline>
<codeline lineno="168"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>*<ref refid="namespaceserif_1_1discretization_1_1backend_1_1mfem_1af75f98db90618153ea4ca169945733f7a2063c1608d6e0baf80249c42e2be5804" kindref="member">value</ref>;</highlight></codeline>
<codeline lineno="169"><highlight class="normal"><sp/><sp/><sp/><sp/>}));</highlight></codeline>
<codeline lineno="170"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">MutableOwnedGraph<sp/>=<sp/>dependencies::ComputationGraph&lt;FirstCalculation,<sp/>MutableOwnedInput&gt;;</highlight></codeline>
<codeline lineno="171"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::CanPrepare&lt;MutableOwnedGraph,<sp/>DependencyContext,<sp/>std::string&gt;);</highlight></codeline>
<codeline lineno="172"><highlight class="normal"></highlight></codeline>
<codeline lineno="173"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">EmptyOwningCalculation<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">(dependencies::make_owning_computation&lt;First,<sp/>dependencies::InputList&lt;&gt;&gt;([]()</highlight></codeline>
<codeline lineno="174"><highlight class="normal"><sp/><sp/><sp/><sp/>{</highlight></codeline>
<codeline lineno="175"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>3;</highlight></codeline>
<codeline lineno="176"><highlight class="normal"><sp/><sp/><sp/><sp/>}));</highlight></codeline>
<codeline lineno="177"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(CanMakeCache&lt;EmptyContext,<sp/>EmptyOwningCalculation&gt;);</highlight></codeline>
<codeline lineno="178"><highlight class="normal">}</highlight></codeline>
<codeline lineno="179"><highlight class="normal"></highlight></codeline>
<codeline lineno="180"><highlight class="normal"></highlight></codeline>
<codeline lineno="181"><highlight class="normal"></highlight><highlight class="keyword">namespace<sp/></highlight><highlight class="normal">{</highlight></codeline>
<codeline lineno="182"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/>&lt;std::</highlight><highlight class="keywordtype">size_t</highlight><highlight class="normal"><sp/>Index&gt;</highlight></codeline>
<codeline lineno="183"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">struct<sp/></highlight><highlight class="normal">ChainKey<sp/>{};</highlight></codeline>
<codeline lineno="184"><highlight class="normal"></highlight></codeline>
<codeline lineno="185"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/>&lt;std::</highlight><highlight class="keywordtype">size_t</highlight><highlight class="normal"><sp/>Index&gt;</highlight></codeline>
<codeline lineno="186"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">struct<sp/></highlight><highlight class="normal">ReverseChainNode<sp/>{</highlight></codeline>
<codeline lineno="187"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">Key<sp/>=<sp/>ChainKey&lt;Index&gt;;</highlight></codeline>
<codeline lineno="188"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">Inputs<sp/>=<sp/>dependencies::KeyList&lt;ChainKey&lt;Index<sp/>+<sp/>1&gt;&gt;;</highlight></codeline>
<codeline lineno="189"><highlight class="normal"><sp/><sp/><sp/><sp/>};</highlight></codeline>
<codeline lineno="190"><highlight class="normal"></highlight></codeline>
<codeline lineno="192"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/>&lt;std::size_t...<sp/>Indices&gt;</highlight></codeline>
<codeline lineno="193"><highlight class="normal"><sp/><sp/><sp/><sp/>[[nodiscard]]<sp/></highlight><highlight class="keyword">consteval</highlight><highlight class="normal"><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>reverse_chain(std::index_sequence&lt;Indices...&gt;)<sp/>{</highlight></codeline>
<codeline lineno="194"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>dependencies::detail::Graph&lt;ReverseChainNode&lt;Indices&gt;...&gt;{};</highlight></codeline>
<codeline lineno="195"><highlight class="normal"><sp/><sp/><sp/><sp/>}</highlight></codeline>
<codeline lineno="196"><highlight class="normal"></highlight></codeline>
<codeline lineno="197"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">LongChain<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">(reverse_chain(std::make_index_sequence&lt;144&gt;{}));</highlight></codeline>
<codeline lineno="198"><highlight class="normal"></highlight></codeline>
<codeline lineno="200"><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/>long_chain_is_ordered()<sp/>{</highlight></codeline>
<codeline lineno="201"><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/>position<sp/>=<sp/>0;<sp/>position<sp/>&lt;<sp/>LongChain::size;<sp/>++position)<sp/>{</highlight></codeline>
<codeline lineno="202"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(LongChain::order[position]<sp/>!=<sp/>LongChain::size<sp/>-<sp/>position<sp/>-<sp/>1)<sp/>{</highlight></codeline>
<codeline lineno="203"><highlight class="normal"><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="204"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>}</highlight></codeline>
<codeline lineno="205"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>}</highlight></codeline>
<codeline lineno="206"><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="207"><highlight class="normal"><sp/><sp/><sp/><sp/>}</highlight></codeline>
<codeline lineno="208"><highlight class="normal"></highlight></codeline>
<codeline lineno="209"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/>&lt;std::size_t<sp/>Index,<sp/>std::size_t...<sp/>Prerequisites&gt;</highlight></codeline>
<codeline lineno="210"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">struct<sp/></highlight><highlight class="normal">OrderingNode<sp/>{</highlight></codeline>
<codeline lineno="211"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">Key<sp/>=<sp/>ChainKey&lt;Index&gt;;</highlight></codeline>
<codeline lineno="212"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">Inputs<sp/>=<sp/>dependencies::KeyList&lt;ChainKey&lt;Prerequisites&gt;...&gt;;</highlight></codeline>
<codeline lineno="213"><highlight class="normal"><sp/><sp/><sp/><sp/>};</highlight></codeline>
<codeline lineno="214"><highlight class="normal"></highlight></codeline>
<codeline lineno="215"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="comment">//<sp/>Nodes<sp/>1<sp/>and<sp/>2<sp/>become<sp/>ready<sp/>together.<sp/>After<sp/>1,<sp/>newly<sp/>ready<sp/>node<sp/>0<sp/>must<sp/>precede<sp/>already-ready<sp/>node<sp/>2.</highlight><highlight class="normal"></highlight></codeline>
<codeline lineno="216"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">StableDiamond<sp/>=<sp/>dependencies::detail::Graph&lt;OrderingNode&lt;0,<sp/>1&gt;,<sp/>OrderingNode&lt;1,<sp/>3&gt;,<sp/>OrderingNode&lt;2,<sp/>3&gt;,</highlight></codeline>
<codeline lineno="217"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>OrderingNode&lt;3&gt;,<sp/>OrderingNode&lt;4,<sp/>0,<sp/>2&gt;&gt;;</highlight></codeline>
<codeline lineno="218"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">PartialCycle<sp/>=<sp/>dependencies::detail::Graph&lt;OrderingNode&lt;0,<sp/>1&gt;,<sp/>OrderingNode&lt;1,<sp/>0&gt;,<sp/>OrderingNode&lt;2&gt;&gt;;</highlight></codeline>
<codeline lineno="219"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(LongChain::acyclic());</highlight></codeline>
<codeline lineno="220"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(long_chain_is_ordered());</highlight></codeline>
<codeline lineno="221"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(StableDiamond::order<sp/>==<sp/>std::array&lt;std::size_t,<sp/>5&gt;{3,<sp/>1,<sp/>0,<sp/>2,<sp/>4});</highlight></codeline>
<codeline lineno="222"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(StableDiamond::acyclic());</highlight></codeline>
<codeline lineno="223"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(PartialCycle::order<sp/>==<sp/>std::array&lt;std::size_t,<sp/>3&gt;{2,<sp/>3,<sp/>3});</highlight></codeline>
<codeline lineno="224"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!PartialCycle::acyclic());</highlight></codeline>
<codeline lineno="225"><highlight class="normal">}</highlight></codeline>
<codeline lineno="226"><highlight class="normal"></highlight></codeline>
<codeline lineno="227"><highlight class="normal"></highlight><highlight class="keyword">namespace<sp/></highlight><highlight class="normal">{</highlight></codeline>
<codeline lineno="228"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal"><ref refid="namespaceserif_1_1utils_1_1dependencies_1af2f6dab3a0204175602c7fc2348344f7" kindref="member">NodeOutcome</ref><sp/>=<sp/>dependencies::NodeOutcome;</highlight></codeline>
<codeline lineno="229"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">ObserverBefore<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">([]<sp/>{<sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>std::make_unique&lt;int&gt;(0);<sp/>});</highlight></codeline>
<codeline lineno="230"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">ObserverAfter<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">([](std::unique_ptr&lt;int&gt;&amp;,<sp/><ref refid="namespaceserif_1_1utils_1_1dependencies_1af2f6dab3a0204175602c7fc2348344f7" kindref="member">NodeOutcome</ref>)<sp/></highlight><highlight class="keyword">noexcept</highlight><highlight class="normal"><sp/>{});</highlight></codeline>
<codeline lineno="231"><highlight class="normal"></highlight></codeline>
<codeline lineno="233"><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/>BeforeT,<sp/></highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/>AfterT&gt;</highlight></codeline>
<codeline lineno="234" refid="concept_0d200074317303167056063064256070046203054064052214_1_1_can_observe_node" refkind="compound"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">concept<sp/></highlight><highlight class="normal"><ref refid="concept_0d200074317303167056063064256070046203054064052214_1_1_can_observe_node" kindref="compound">CanObserveNode</ref><sp/>=<sp/></highlight><highlight class="keyword">requires</highlight><highlight class="normal">(BeforeT&amp;&amp;<sp/>before,<sp/>AfterT&amp;&amp;<sp/>after)<sp/>{</highlight></codeline>
<codeline lineno="235"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>dependencies::observe_node&lt;First&gt;(std::forward&lt;BeforeT&gt;(before),<sp/>std::forward&lt;AfterT&gt;(after));</highlight></codeline>
<codeline lineno="236"><highlight class="normal"><sp/><sp/><sp/><sp/>};</highlight></codeline>
<codeline lineno="237"><highlight class="normal"></highlight></codeline>
<codeline lineno="238"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">VoidBefore<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">([]<sp/>{});</highlight></codeline>
<codeline lineno="239"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">ReferenceBefore<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">([]()<sp/>-&gt;<sp/></highlight><highlight class="keywordtype">int</highlight><highlight class="normal">&amp;<sp/>{<sp/></highlight><highlight class="keyword">static</highlight><highlight class="normal"><sp/></highlight><highlight class="keywordtype">int</highlight><highlight class="normal"><sp/>state<sp/>=<sp/>0;<sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>state;<sp/>});</highlight></codeline>
<codeline lineno="240"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">WrongStateAfter<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">([](</highlight><highlight class="keywordtype">int</highlight><highlight class="normal">&amp;,<sp/><ref refid="namespaceserif_1_1utils_1_1dependencies_1af2f6dab3a0204175602c7fc2348344f7" kindref="member">NodeOutcome</ref>)<sp/></highlight><highlight class="keyword">noexcept</highlight><highlight class="normal"><sp/>{});</highlight></codeline>
<codeline lineno="241"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">ThrowingAfter<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">([](std::unique_ptr&lt;int&gt;&amp;,<sp/><ref refid="namespaceserif_1_1utils_1_1dependencies_1af2f6dab3a0204175602c7fc2348344f7" kindref="member">NodeOutcome</ref>)<sp/>{});</highlight></codeline>
<codeline lineno="242"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">NonvoidAfter<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">([](std::unique_ptr&lt;int&gt;&amp;,<sp/><ref refid="namespaceserif_1_1utils_1_1dependencies_1af2f6dab3a0204175602c7fc2348344f7" kindref="member">NodeOutcome</ref>)<sp/></highlight><highlight class="keyword">noexcept</highlight><highlight class="normal"><sp/>{<sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>1;<sp/>});</highlight></codeline>
<codeline lineno="243"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(CanObserveNode&lt;ObserverBefore,<sp/>ObserverAfter&gt;);</highlight></codeline>
<codeline lineno="244"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!CanObserveNode&lt;VoidBefore,<sp/>ObserverAfter&gt;);</highlight></codeline>
<codeline lineno="245"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!CanObserveNode&lt;ReferenceBefore,<sp/>WrongStateAfter&gt;);</highlight></codeline>
<codeline lineno="246"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!CanObserveNode&lt;ObserverBefore,<sp/>WrongStateAfter&gt;);</highlight></codeline>
<codeline lineno="247"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!CanObserveNode&lt;ObserverBefore,<sp/>ThrowingAfter&gt;);</highlight></codeline>
<codeline lineno="248"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!CanObserveNode&lt;ObserverBefore,<sp/>NonvoidAfter&gt;);</highlight></codeline>
<codeline lineno="249"><highlight class="normal"></highlight></codeline>
<codeline lineno="250"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">NodeObserver<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">(dependencies::observe_node&lt;First&gt;(ObserverBefore{},<sp/>ObserverAfter{}));</highlight></codeline>
<codeline lineno="251"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">SourceObserver<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">(dependencies::observe_node&lt;Source&gt;(ObserverBefore{},<sp/>ObserverAfter{}));</highlight></codeline>
<codeline lineno="252"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">MissingObserver<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">(dependencies::observe_node&lt;Missing&gt;(ObserverBefore{},<sp/>ObserverAfter{}));</highlight></codeline>
<codeline lineno="253"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">InputObserver<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">([](</highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/></highlight><highlight class="keywordtype">int</highlight><highlight class="normal">&amp;)<sp/>{});</highlight></codeline>
<codeline lineno="254"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">SourceEdge<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">(dependencies::observe_edge&lt;Source,<sp/>First&gt;(InputObserver{}));</highlight></codeline>
<codeline lineno="255"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">InternalEdge<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">(dependencies::observe_edge&lt;First,<sp/>Second&gt;(InputObserver{}));</highlight></codeline>
<codeline lineno="256"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">MissingEdge<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">(dependencies::observe_edge&lt;Missing,<sp/>First&gt;(InputObserver{}));</highlight></codeline>
<codeline lineno="257"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">ReversedEdge<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">(dependencies::observe_edge&lt;Second,<sp/>First&gt;(InputObserver{}));</highlight></codeline>
<codeline lineno="258"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">IndirectEdge<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">(dependencies::observe_edge&lt;Source,<sp/>Second&gt;(InputObserver{}));</highlight></codeline>
<codeline lineno="259"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">MissingConsumer<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">(dependencies::observe_edge&lt;Source,<sp/>Missing&gt;(InputObserver{}));</highlight></codeline>
<codeline lineno="260"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">MutableEdge<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">(dependencies::observe_edge&lt;Source,<sp/>First&gt;([](</highlight><highlight class="keywordtype">int</highlight><highlight class="normal">&amp;)<sp/>{}));</highlight></codeline>
<codeline lineno="261"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">WrongTypeEdge<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">(dependencies::observe_edge&lt;Source,<sp/>First&gt;([](</highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/>std::string&amp;)<sp/>{}));</highlight></codeline>
<codeline lineno="262"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">NonvoidEdge<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">(dependencies::observe_edge&lt;Source,<sp/>First&gt;([](</highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/></highlight><highlight class="keywordtype">int</highlight><highlight class="normal">&amp;)<sp/>{<sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>1;<sp/>}));</highlight></codeline>
<codeline lineno="263"><highlight class="normal"></highlight></codeline>
<codeline lineno="264"><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/>Observers&gt;</highlight></codeline>
<codeline lineno="265"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">ObserverSet<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">(dependencies::make_observers(std::declval&lt;Observers&gt;()...));</highlight></codeline>
<codeline lineno="266"><highlight class="normal"></highlight></codeline>
<codeline lineno="267"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(dependencies::ObserversFor&lt;ObserverSet&lt;&gt;,<sp/>ComputationGraph,<sp/>DependencyContext&gt;);</highlight></codeline>
<codeline lineno="268"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(dependencies::ObserversFor&lt;ObserverSet&lt;NodeObserver,<sp/>NodeObserver,<sp/>SourceEdge,<sp/>InternalEdge&gt;,<sp/>ComputationGraph,<sp/>DependencyContext&gt;);</highlight></codeline>
<codeline lineno="269"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(dependencies::ObserversFor&lt;ObserverSet&lt;InternalEdge&gt;,<sp/>OwningGraph,<sp/>DependencyContext&gt;);</highlight></codeline>
<codeline lineno="270"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::ObserversFor&lt;ObserverSet&lt;SourceObserver&gt;,<sp/>ComputationGraph,<sp/>DependencyContext&gt;);</highlight></codeline>
<codeline lineno="271"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::ObserversFor&lt;ObserverSet&lt;MissingObserver&gt;,<sp/>ComputationGraph,<sp/>DependencyContext&gt;);</highlight></codeline>
<codeline lineno="272"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::ObserversFor&lt;ObserverSet&lt;MissingEdge&gt;,<sp/>ComputationGraph,<sp/>DependencyContext&gt;);</highlight></codeline>
<codeline lineno="273"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::ObserversFor&lt;ObserverSet&lt;ReversedEdge&gt;,<sp/>ComputationGraph,<sp/>DependencyContext&gt;);</highlight></codeline>
<codeline lineno="274"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::ObserversFor&lt;ObserverSet&lt;IndirectEdge&gt;,<sp/>ComputationGraph,<sp/>DependencyContext&gt;);</highlight></codeline>
<codeline lineno="275"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::ObserversFor&lt;ObserverSet&lt;MissingConsumer&gt;,<sp/>ComputationGraph,<sp/>DependencyContext&gt;);</highlight></codeline>
<codeline lineno="276"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::ObserversFor&lt;ObserverSet&lt;MutableEdge&gt;,<sp/>ComputationGraph,<sp/>DependencyContext&gt;);</highlight></codeline>
<codeline lineno="277"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::ObserversFor&lt;ObserverSet&lt;WrongTypeEdge&gt;,<sp/>ComputationGraph,<sp/>DependencyContext&gt;);</highlight></codeline>
<codeline lineno="278"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::ObserversFor&lt;ObserverSet&lt;NonvoidEdge&gt;,<sp/>ComputationGraph,<sp/>DependencyContext&gt;);</highlight></codeline>
<codeline lineno="279"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::ObserversFor&lt;int,<sp/>ComputationGraph,<sp/>DependencyContext&gt;);</highlight></codeline>
<codeline lineno="280"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::ObserversFor&lt;ObserverSet&lt;&gt;,<sp/>int,<sp/>DependencyContext&gt;);</highlight></codeline>
<codeline lineno="281"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::ObserversFor&lt;ObserverSet&lt;&gt;,<sp/>ComputationGraph,<sp/></highlight><highlight class="keywordtype">int</highlight><highlight class="normal">&gt;);</highlight></codeline>
<codeline lineno="282"><highlight class="normal"></highlight></codeline>
<codeline lineno="284"><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/>ObserversT&gt;</highlight></codeline>
<codeline lineno="285" refid="concept_0d200074317303167056063064256070046203054064052214_1_1_can_make_observed_cache" refkind="compound"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">concept<sp/></highlight><highlight class="normal"><ref refid="concept_0d200074317303167056063064256070046203054064052214_1_1_can_make_observed_cache" kindref="compound">CanMakeObservedCache</ref><sp/>=<sp/></highlight><highlight class="keyword">requires</highlight><highlight class="normal">(</highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/>ComputationGraph&amp;<sp/>graph,<sp/></highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/>DependencyContext&amp;<sp/>context,<sp/>ObserversT&amp;&amp;<sp/>observers)<sp/>{</highlight></codeline>
<codeline lineno="286"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>dependencies::make_computation_cache(graph,<sp/>context,<sp/>std::forward&lt;ObserversT&gt;(observers));</highlight></codeline>
<codeline lineno="287"><highlight class="normal"><sp/><sp/><sp/><sp/>};</highlight></codeline>
<codeline lineno="288"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(<ref refid="concept_0d200074317303167056063064256070046203054064052214_1_1_can_make_observed_cache" kindref="compound">CanMakeObservedCache&lt;ObserverSet&lt;NodeObserver, SourceEdge&gt;</ref>&gt;);</highlight></codeline>
<codeline lineno="289"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!<ref refid="concept_0d200074317303167056063064256070046203054064052214_1_1_can_make_observed_cache" kindref="compound">CanMakeObservedCache&lt;ObserverSet&lt;MissingObserver&gt;</ref>&gt;);</highlight></codeline>
<codeline lineno="290"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!<ref refid="concept_0d200074317303167056063064256070046203054064052214_1_1_can_make_observed_cache" kindref="compound">CanMakeObservedCache&lt;ObserverSet&lt;MutableEdge&gt;</ref>&gt;);</highlight></codeline>
<codeline lineno="291"><highlight class="normal"></highlight></codeline>
<codeline lineno="292"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">MoveOnlyBefore<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">([state<sp/>=<sp/>std::make_unique&lt;int&gt;(0)]<sp/>{<sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>++*state;<sp/>});</highlight></codeline>
<codeline lineno="293"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">CountAfter<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">([](</highlight><highlight class="keywordtype">int</highlight><highlight class="normal">&amp;,<sp/>NodeOutcome)<sp/></highlight><highlight class="keyword">noexcept</highlight><highlight class="normal"><sp/>{});</highlight></codeline>
<codeline lineno="294"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">MoveOnlyObserver<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">(dependencies::observe_node&lt;First&gt;(std::declval&lt;MoveOnlyBefore&gt;(),<sp/>CountAfter{}));</highlight></codeline>
<codeline lineno="295"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(CanObserveNode&lt;MoveOnlyBefore,<sp/>CountAfter&gt;);</highlight></codeline>
<codeline lineno="296"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!CanObserveNode&lt;MoveOnlyBefore&amp;,<sp/>CountAfter&gt;);</highlight></codeline>
<codeline lineno="297"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(CanMakeObservedCache&lt;ObserverSet&lt;MoveOnlyObserver&gt;&gt;);</highlight></codeline>
<codeline lineno="298"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!CanMakeObservedCache&lt;ObserverSet&lt;MoveOnlyObserver&gt;&amp;&gt;);</highlight></codeline>
<codeline lineno="299"><highlight class="normal">}</highlight></codeline>
<codeline lineno="300"><highlight class="normal"></highlight></codeline>
<codeline lineno="301"><highlight class="normal"></highlight><highlight class="keyword">namespace<sp/></highlight><highlight class="normal">{</highlight></codeline>
<codeline lineno="302"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">AllBefore<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">([]&lt;</highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/>Key&gt;(std::type_identity&lt;Key&gt;)<sp/>{<sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>0;<sp/>});</highlight></codeline>
<codeline lineno="303"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">AllAfter<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">([](</highlight><highlight class="keywordtype">int</highlight><highlight class="normal">&amp;,<sp/><ref refid="namespaceserif_1_1utils_1_1dependencies_1af2f6dab3a0204175602c7fc2348344f7" kindref="member">NodeOutcome</ref>)<sp/></highlight><highlight class="keyword">noexcept</highlight><highlight class="normal"><sp/>{});</highlight></codeline>
<codeline lineno="304"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">AllObserver<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">(dependencies::observe_nodes(AllBefore{},<sp/>AllAfter{}));</highlight></codeline>
<codeline lineno="305"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">SomeBefore<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">([](std::type_identity&lt;First&gt;)<sp/>{<sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>0;<sp/>});</highlight></codeline>
<codeline lineno="306"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">SomeObserver<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">(dependencies::observe_nodes(SomeBefore{},<sp/>AllAfter{}));</highlight></codeline>
<codeline lineno="307"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">ThrowingAllAfter<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">([](</highlight><highlight class="keywordtype">int</highlight><highlight class="normal">&amp;,<sp/><ref refid="namespaceserif_1_1utils_1_1dependencies_1af2f6dab3a0204175602c7fc2348344f7" kindref="member">NodeOutcome</ref>)<sp/>{});</highlight></codeline>
<codeline lineno="308"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">UnsafeAllObserver<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">(dependencies::observe_nodes(AllBefore{},<sp/>ThrowingAllAfter{}));</highlight></codeline>
<codeline lineno="309"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">ReferenceAllBefore<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">([]&lt;</highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/>Key&gt;(std::type_identity&lt;Key&gt;)<sp/>-&gt;<sp/></highlight><highlight class="keywordtype">int</highlight><highlight class="normal">&amp;<sp/>{<sp/></highlight><highlight class="keyword">static</highlight><highlight class="normal"><sp/></highlight><highlight class="keywordtype">int</highlight><highlight class="normal"><sp/>state<sp/>=<sp/>0;<sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>state;<sp/>});</highlight></codeline>
<codeline lineno="310"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">ReferenceAllObserver<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">(dependencies::observe_nodes(ReferenceAllBefore{},<sp/>AllAfter{}));</highlight></codeline>
<codeline lineno="311"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(dependencies::ObserversFor&lt;ObserverSet&lt;AllObserver&gt;,<sp/>ComputationGraph,<sp/>DependencyContext&gt;);</highlight></codeline>
<codeline lineno="312"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(dependencies::ObserversFor&lt;ObserverSet&lt;AllObserver,<sp/>NodeObserver,<sp/>SourceEdge&gt;,<sp/>ComputationGraph,<sp/>DependencyContext&gt;);</highlight></codeline>
<codeline lineno="313"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::ObserversFor&lt;ObserverSet&lt;SomeObserver&gt;,<sp/>ComputationGraph,<sp/>DependencyContext&gt;);</highlight></codeline>
<codeline lineno="314"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::ObserversFor&lt;ObserverSet&lt;UnsafeAllObserver&gt;,<sp/>ComputationGraph,<sp/>DependencyContext&gt;);</highlight></codeline>
<codeline lineno="315"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::ObserversFor&lt;ObserverSet&lt;ReferenceAllObserver&gt;,<sp/>ComputationGraph,<sp/>DependencyContext&gt;);</highlight></codeline>
<codeline lineno="316"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(CanMakeObservedCache&lt;ObserverSet&lt;AllObserver&gt;&gt;);</highlight></codeline>
<codeline lineno="317"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!CanMakeObservedCache&lt;ObserverSet&lt;UnsafeAllObserver&gt;&gt;);</highlight></codeline>
<codeline lineno="318"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(dependencies::NodeTimingClock&lt;dependencies::SteadyNodeClock&gt;);</highlight></codeline>
<codeline lineno="319"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::NodeTimingClock&lt;</highlight><highlight class="keyword">decltype</highlight><highlight class="normal">([]<sp/>{<sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>std::chrono::steady_clock::now();<sp/>})&gt;);</highlight></codeline>
<codeline lineno="320"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::NodeTimingClock&lt;</highlight><highlight class="keyword">decltype</highlight><highlight class="normal">([]()<sp/></highlight><highlight class="keyword">noexcept</highlight><highlight class="normal"><sp/>{<sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>1.0;<sp/>})&gt;);</highlight></codeline>
<codeline lineno="321"><highlight class="normal">}</highlight></codeline>
    </programlisting>
    <location file="src/compile_time_checks/serif/utils/dependencies/computation_graph.cpp"/>
  </compounddef>
</doxygen>