incremental_computation.hpp array concepts functional type_traits utility serif/utils/dependencies/computation.hpp serif/utils/dependencies/detail/result.hpp serif/utils/dependencies/detail/type_lists.hpp src/compile_time_checks/serif/utils/dependencies/computation_graph.cpp src/include/serif/utils/dependencies/dependencies.hpp serif/utils/dependencies/binding.hpp serif/utils/dependencies/computation.hpp serif/utils/dependencies/detail/result.hpp serif/utils/dependencies/detail/type_lists.hpp src/include/serif/utils/dependencies/incremental_computation.hpp serif/utils/dependencies/key_list.hpp serif/utils/misc/std_helper/cleaning.hpp serif/utils/misc/traits/type_uniqueness.hpp serif/utils/types/type_list.hpp array concepts cstddef expected functional memory type_traits utility src/compile_time_checks/serif/operators/computation_owners.cpp src/compile_time_checks/serif/operators/serial_backend.cpp src/compile_time_checks/serif/solver/preconditioner/layout.cpp src/compile_time_checks/serif/utils/dependencies/computation_graph.cpp src/include/serif/model/backend/mfem/binding.hpp src/include/serif/model/backend/mfem/equilibrium.hpp src/include/serif/model/computations/interior.hpp src/include/serif/model/computations/point_constraints.hpp src/include/serif/model/computations/pressure_boundary.hpp src/include/serif/model/computations/shape.hpp src/include/serif/model/graph.hpp src/include/serif/operators/backend/mfem/nodal_computations.hpp src/include/serif/operators/backend/mfem/volume_computations.hpp src/include/serif/utils/dependencies/dependencies.hpp src/include/serif/utils/dependencies/incremental_computation.hpp serif::utils::dependencies::ComputationUpdate serif::utils::dependencies::IncrementalComputation serif serif::utils serif::utils::dependencies #pragmaonce #include<array> #include<concepts> #include<functional> #include<type_traits> #include<utility> #include"serif/utils/dependencies/computation.hpp" #include"serif/utils/dependencies/detail/result.hpp" #include"serif/utils/dependencies/detail/type_lists.hpp" namespaceserif::utils::dependencies{ template<IsKeyListInputsT,typenameValueT> structComputationUpdate{ constValueT*previous{nullptr}; std::array<bool,detail::KeyListSize<InputsT>::value>changed_inputs{}; boolrebuild{false}; template<typenameKeyT>requiresdetail::contains_key_v<KeyT, InputsT> [[nodiscard]]boolchanged()const{ returnprevious==nullptr||rebuild||changed_inputs[detail::type_index<KeyT>(typenameInputsT::Keys{})]; } }; template<typenameKeyT,typenameValueT,IsKeyListInputsT,typenameFunctionT> requiresstd::is_object_v<ValueT>&&std::move_constructible<ValueT> classIncrementalComputation{ public: usingKey=KeyT; usingInputs=std::remove_cvref_t<InputsT>; usingFunction=FunctionT; usingUpdate=ComputationUpdate<Inputs, ValueT>; staticconstexprboolowns_inputs=false; explicitIncrementalComputation(FunctionTfunction):m_function(std::move(function)){} template<typename...Arguments> requiresstd::invocable<constFunctionT&,constUpdate&,constArguments&...>&& std::same_as<typenamedetail::Result<std::remove_cv_t<std::invoke_result_t<constFunctionT&,constUpdate&,constArguments&...>>>::Value,ValueT> [[nodiscard]]decltype(auto)evaluate(constArguments&...arguments)const{ returnevaluate_update(Update{},arguments...); } template<typename...Arguments> [[nodiscard]]decltype(auto)evaluate_update(constUpdate&update,constArguments&...arguments)const{ returnstd::invoke(m_function,update,arguments...); } private: FunctionTm_function; }; template<typenameKeyT,typenameValueT,typenameInputsT,typenameFunctionT> inlineconstexprboolis_computation_v<IncrementalComputation<KeyT, ValueT, InputsT, FunctionT>>=true; template<typenameKeyT,typenameValueT,IsKeyListInputsT,typenameFunctionT> requiresstd::is_object_v<ValueT>&&std::move_constructible<ValueT>&& std::constructible_from<std::decay_t<FunctionT>,FunctionT> [[nodiscard]]automake_incremental_computation(FunctionT&&function){ returnIncrementalComputation<KeyT, ValueT, std::remove_cvref_t<InputsT>,std::decay_t<FunctionT>>(std::forward<FunctionT>(function)); } }