plan.hpp tuple type_traits serif/discretization/blocks/system_layout.hpp serif/equations/registry.hpp serif/operators/plan.hpp src/include/serif/backend/mfem/model/graph.hpp src/include/serif/backend/mfem/model/inputs.hpp src/include/serif/backend/mfem/model/state.hpp src/include/serif/model/equilibrium_plan.hpp src/include/serif/model/validation.hpp serif/dimensions/dimensions.hpp serif/dimensions/quantities.hpp serif/discretization/blocks/base.hpp serif/discretization/blocks/concepts.hpp serif/discretization/blocks/fields.hpp serif/discretization/blocks/system_layout.hpp serif/discretization/blocks/traits.hpp serif/discretization/domain/concepts.hpp serif/discretization/domain/physical_domains.hpp serif/discretization/domain/types.hpp serif/discretization/forms/forms.hpp serif/discretization/forms/operands.hpp serif/discretization/forms/value.hpp serif/discretization/functional_space/space.hpp serif/equations/concepts.hpp serif/equations/contributions.hpp serif/equations/point.hpp serif/equations/registry.hpp serif/meta/enums.hpp serif/meta/names.hpp src/include/serif/model/plan.hpp serif/operators/concepts.hpp serif/operators/plan.hpp serif/utils/dependencies/binding.hpp serif/utils/dependencies/detail/type_lists.hpp serif/utils/dependencies/key_list.hpp serif/utils/dependencies/key_list_operations.hpp serif/utils/misc/concepts/numeric.hpp serif/utils/misc/std_helper/cleaning.hpp serif/utils/misc/std_helper/variadic_cleaning.hpp serif/utils/misc/traits/type_uniqueness.hpp serif/utils/types/type_list.hpp array compare concepts cstddef format magic_enum/magic_enum_all.hpp nameof.hpp numeric span string_view tuple type_traits unordered_map 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/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/include/serif/backend/mfem/model/binding.hpp src/include/serif/backend/mfem/model/equilibrium.hpp src/include/serif/backend/mfem/model/equilibrium_evaluator.hpp src/include/serif/backend/mfem/model/finite_elements.hpp src/include/serif/backend/mfem/model/graph.hpp src/include/serif/backend/mfem/model/inputs.hpp src/include/serif/backend/mfem/model/normalization/computations.hpp src/include/serif/backend/mfem/model/state.hpp src/include/serif/backend/mfem/serialize/configuration.hpp src/include/serif/backend/mfem/serialize/options.hpp src/include/serif/backend/mfem/solver/admissibility/geometry.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/state.hpp src/include/serif/model/equilibrium_plan.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/plan.hpp src/include/serif/model/plan.hpp src/include/serif/model/validation.hpp src/include/serif/solver/continuation/equilibrium.hpp src/include/serif/solver/equilibrium.hpp src/include/serif/solver/seed/state.hpp src/include/serif/solver/solver.hpp src/include/serif/utils/serialize/numerics.hpp src/include/serif/utils/serialize/serialize.hpp src/include/serif/utils/serialize/solver.hpp src/lib/serif/backend/mfem/model/finite_elements.cpp serif::model::detail::OperandTerms< utils::types::TypeList< Operands... > > serif::model::detail::InteriorPlan< equations::EquationRegistry< Equations... > > serif::model::detail::RemoveKeys< utils::dependencies::KeyList< Keys... >, Excluded > serif::model::ModelPlan serif serif::model serif::model::detail #pragmaonce #include<tuple> #include<type_traits> #include"serif/discretization/blocks/system_layout.hpp" #include"serif/equations/registry.hpp" #include"serif/operators/plan.hpp" namespaceserif::model { namespacedetail { template<typenameOperands> structOperandTerms; template<typename...Operands> structOperandTerms<utils::types::TypeList<Operands...>> { usingType=utils::dependencies::CombinedKeyList<utils::dependencies::KeyList<typename Operands::term_type>...>; }; template<typenameRegistry> structInteriorPlan; template<operators::VolumeEquation...Equations> structInteriorPlan<equations::EquationRegistry<Equations...>> { usingEquationsList=utils::types::TypeList<Equations...>; usingRows=utils::dependencies::KeyList<typenameEquations::Test...>; usingCoefficients=utils::dependencies::CombinedKeyList<typename OperandTerms<typename operators::EquationPlan<Equations>::Columns>::Type...>; }; template<typenameKeys,typenameExcluded> structRemoveKeys; template<typename...Keys,typenameExcluded> structRemoveKeys<utils::dependencies::KeyList<Keys...>,Excluded> { usingType=utils::dependencies::CombinedKeyList<std::conditional_t<utils::dependencies::ContainsKey<Keys, Excluded>,utils::dependencies::KeyList<>,utils::dependencies::KeyList<Keys>>...>; }; } template<typenameRegistry> conceptExecutableInteriorEquations=requires { typenamedetail::InteriorPlan<std::remove_cvref_t<Registry>>::Rows; }; template<ExecutableInteriorEquationsRegistry,utils::dependencies::IsKeyListPrescribed=utils::dependencies::KeyList<>, utils::dependencies::IsKeyListAdditionalValues=utils::dependencies::KeyList<>, utils::dependencies::IsKeyListAdditionalRows=utils::dependencies::KeyList<>> structModelPlanfinal:detail::InteriorPlan<std::remove_cvref_t<Registry>> { usingInterior=detail::InteriorPlan<std::remove_cvref_t<Registry>>; usingPrescribedCoefficients=Prescribed; usingValues=utils::dependencies::CombinedKeyList<typename detail::RemoveKeys<typename Interior::Coefficients, Prescribed>::Type,AdditionalValues>; usingResiduals=utils::dependencies::CombinedKeyList<typename Interior::Rows, AdditionalRows>; usingLayout=discretization::blocks::SystemLayout<Values, Residuals>; }; }