specification_list.hpp tuple utility serif/model/specification.hpp serif/utils/misc/concepts/filter.hpp src/include/serif/model/stellar_model.hpp serif/dimensions/quantities.hpp src/include/serif/model/detail/specification_list.hpp serif/model/specification.hpp serif/utils/misc/concepts/filter.hpp serif/utils/misc/concepts/numeric.hpp serif/utils/misc/std_helper/cleaning.hpp serif/utils/types/strings.hpp serif/utils/types/type_list.hpp algorithm array compare concepts iostream limits string_view tuple type_traits utility src/compile_time_checks/serif/backend_independent.cpp src/compile_time_checks/serif/model/barotropic_density.cpp src/compile_time_checks/serif/model/density_primal.cpp src/compile_time_checks/serif/model/description.cpp src/compile_time_checks/serif/model/execution_validation.cpp src/compile_time_checks/serif/model/finite_elements.cpp src/compile_time_checks/serif/model/normalization.cpp src/compile_time_checks/serif/model/state.cpp src/compile_time_checks/serif/model/validation.cpp src/compile_time_checks/serif/solver/continuation.cpp src/compile_time_checks/serif/solver/public_contracts.cpp src/include/serif/backend/mfem/model/equilibrium.hpp src/include/serif/backend/mfem/model/finite_elements.hpp src/include/serif/backend/mfem/serialize/configuration.hpp src/include/serif/backend/mfem/serialize/discretization.hpp src/include/serif/backend/mfem/serialize/options.hpp src/include/serif/backend/mfem/serialize/top.hpp src/include/serif/backend/mfem/solver/equilibrium.hpp src/include/serif/backend/mfem/solver/nonlinear/stellar_problem.hpp src/include/serif/backend/mfem/solver/seed/fitted.hpp src/include/serif/backend/mfem/solver/seed/state.hpp src/include/serif/model/configured_discretization.hpp src/include/serif/model/description.hpp src/include/serif/model/detail/specification_list.hpp src/include/serif/model/execution_validation.hpp src/include/serif/model/finite_elements.hpp src/include/serif/model/model.hpp src/include/serif/model/normalization/reference.hpp src/include/serif/model/stellar_model.hpp src/include/serif/model/validation.hpp src/include/serif/solver/continuation/continuation.hpp src/include/serif/solver/continuation/driver.hpp src/include/serif/solver/continuation/equilibrium.hpp src/include/serif/solver/continuation/family.hpp src/include/serif/solver/continuation/options.hpp src/include/serif/solver/continuation/polytropic.hpp src/include/serif/solver/equilibrium.hpp src/include/serif/solver/seed/fitted.hpp src/include/serif/solver/seed/polytrope.hpp src/include/serif/solver/seed/state.hpp src/include/serif/solver/solver.hpp src/include/serif/utils/serialize/equations.hpp src/include/serif/utils/serialize/model.hpp src/include/serif/utils/serialize/numerics.hpp src/include/serif/utils/serialize/physics.hpp src/include/serif/utils/serialize/serialize.hpp src/include/serif/utils/serialize/solver.hpp src/lib/serif/backend/mfem/model/finite_elements.cpp src/lib/serif/backend/mfem/serialize/top.cpp src/lib/serif/solver/seed/fitted.cpp src/lib/serif/solver/seed/polytrope.cpp serif::model::detail::InsertSpecification< Specification, utils::types::TypeList<> > serif::model::detail::InsertSpecification< Specification, utils::types::TypeList< Head, Tail... > > serif::model::detail::CanonicalSpecifications<> serif::model::detail::CanonicalSpecifications< Head, Tail... > serif::model::detail::SelectRole serif::model::detail::ArgumentsMatch< utils::types::TypeList< Specifications... >, Arguments... > serif serif::model serif::model::detail #pragmaonce #include<tuple> #include<utility> #include"serif/model/specification.hpp" #include"serif/utils/misc/concepts/filter.hpp" namespaceserif::model::detail { template<ModelSpecificationLeft,ModelSpecificationRight> [[nodiscard]]constevalboolspecification_precedes() { usingL=typenameLeft::ModelDefinition; usingR=typenameRight::ModelDefinition; returnstd::tuple{L::role,L::generated_state_kind,L::name}<std::tuple{R::role,R::generated_state_kind,R::name}; } template<typenameSpecification,typenameList> structInsertSpecification; template<typenameSpecification> structInsertSpecification<Specification,utils::types::TypeList<>> { usingType=utils::types::TypeList<Specification>; }; template<typenameSpecification,typenameHead,typename...Tail> structInsertSpecification<Specification,utils::types::TypeList<Head,Tail...>> { usingType=std::conditional_t<specification_precedes<Specification,Head>(),utils::types::TypeList<Specification,Head,Tail...>, utils::misc::concepts::PrependT<Head,typenameInsertSpecification<Specification,utils::types::TypeList<Tail...>>::Type>>; }; template<typename...Specifications> structCanonicalSpecifications; template<> structCanonicalSpecifications<> { usingType=utils::types::TypeList<>; }; template<typenameHead,typename...Tail> structCanonicalSpecifications<Head,Tail...> { usingType=typenameInsertSpecification<Head,typenameCanonicalSpecifications<Tail...>::Type>::Type; }; template<ModelSpecification...Specifications> [[nodiscard]]constevalboolunique_specification_names() { constexprstd::array<SpecificationDescriptor,sizeof...(Specifications)>descriptions{{ {Specifications::ModelDefinition::name,Specifications::ModelDefinition::role,Specifications::ModelDefinition::generated_state_kind}... }}; for(std::size_tleft=0;left<descriptions.size();++left) { for(std::size_tright=left+1;right<descriptions.size();++right) { if(descriptions[left].role==descriptions[right].role&&descriptions[left].name==descriptions[right].name) { returnfalse; } } } returntrue; } template<SpecificationRoleRole,typename...Specifications> structSelectRole { template<typenameSpecification> usingHasRole=std::bool_constant<Specification::ModelDefinition::role==Role>; usingType=utils::misc::concepts::FilterT<utils::types::TypeList<Specifications...>,HasRole>; }; template<typenameList,typename...Arguments> structArgumentsMatch; template<typename...Specifications,typename...Arguments> structArgumentsMatch<utils::types::TypeList<Specifications...>,Arguments...> { template<typenameSpecification> staticconstexprstd::size_tcount=(std::size_t{0}+...+std::size_t{std::same_as<Specification,std::remove_cvref_t<Arguments>>}); staticconstexprboolvalue=sizeof...(Specifications)==sizeof...(Arguments)&&((count<Specifications>==1)&&...); }; template<typename...Specifications,typename...Arguments> [[nodiscard]]std::tuple<Specifications...>canonical_specifications(utils::types::TypeList<Specifications...>,Arguments&&...arguments) { std::tuple<std::remove_cvref_t<Arguments>...>values{std::forward<Arguments>(arguments)...}; return{std::get<Specifications>(std::move(values))...}; } }//namespaceserif::model::detail