automatic_relations.hpp serif/geometry/surface/compilation.hpp serif/discretization/blocks/traits.hpp src/include/serif/geometry/surface/automatic.hpp serif/dimensions/dimensions.hpp serif/dimensions/partial.hpp serif/dimensions/quantities.hpp serif/dimensions/type_alias.hpp serif/discretization/blocks/base.hpp serif/discretization/blocks/concepts.hpp serif/discretization/blocks/fields.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/operands.hpp serif/discretization/forms/value.hpp serif/discretization/functional_space/space.hpp serif/eos/models/concepts.hpp serif/eos/models/traits.hpp serif/eos/relations/catalog.hpp serif/eos/relations/concepts.hpp serif/eos/relations/relations.hpp serif/eos/relations/traits.hpp serif/geometry/surface/compilation.hpp src/include/serif/geometry/surface/detail/automatic_relations.hpp serif/geometry/surface/detail/relations.hpp serif/geometry/surface/isobaric.hpp serif/meta/enums.hpp serif/meta/names.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/concepts/type_uniqueness.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 src/compile_time_checks/serif/backend_independent.cpp src/compile_time_checks/serif/geometry/surface_boundary.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/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/normalization/computations.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/geometry/surface/automatic.hpp src/include/serif/geometry/surface/detail/automatic_relations.hpp src/include/serif/model/detail/surface_plan.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/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 serif::geometry serif::geometry::surface serif::geometry::surface::detail #pragmaonce #include"serif/geometry/surface/compilation.hpp" #include"serif/discretization/blocks/traits.hpp" namespaceserif::geometry::surface::detail{ template<typenameTerm> conceptThermodynamicBoundaryField=discretization::blocks::ScalarTraceTerm<Term>&& discretization::blocks::HasQuantity<Term>&&dimensions::ThermodynamicQuantityType<typename Term::Quantity>&& (discretization::blocks::SpatialTerm<Term>||requires{requiresTerm::thermodynamic_state;}); template<typename...Terms> [[nodiscard]]constevalautothermodynamic_fields(utils::dependencies::KeyList<Terms...>){ returnutils::dependencies::CombinedKeyList<std::conditional_t<ThermodynamicBoundaryField<Terms>,utils::dependencies::KeyList<Terms>,utils::dependencies::KeyList<>>...>{}; } template<typenameQuantity,typenameCarrier,typename...Fields> [[nodiscard]]constevalautoquantity_field(utils::dependencies::KeyList<Fields...>){ usingMatches=decltype(std::tuple_cat(std::declval<std::conditional_t<std::same_as<Quantity,typenameFields::Quantity>,std::tuple<Fields>,std::tuple<>>>()...)); ifconstexpr(std::same_as<Quantity,typenameCarrier::Quantity>){ returnstd::type_identity<Carrier>{}; } elseifconstexpr(std::tuple_size_v<Matches>==1){ returnstd::type_identity<std::tuple_element_t<0,Matches>>{}; } else{ returnstd::type_identity<void>{}; } } template<typenameCarrier,typenameFields,typename...Quantities> [[nodiscard]]constevalautorelation_bindings(utils::dependencies::KeyList<Quantities...>){ usingnamespaceutils::dependencies; ifconstexpr((!std::same_as<void,typenamedecltype(quantity_field<Quantities,Carrier>(Fields{}))::type>&&...)){ returnstd::type_identity<Bindings<Binding<Quantities,typenamedecltype(quantity_field<Quantities,Carrier>(Fields{}))::type>...>>{}; } else{ returnstd::type_identity<void>{}; } } template<typenameEOS,typenameCarrier,typenameFields,typenameRelation> [[nodiscard]]constevalautoinverse_candidate(){ usingnamespaceutils::dependencies; usingQuantities=CombinedKeyList<KeyList<typenameCarrier::Quantity>,typenamesurface::detail::RelationQuantities<Relation>::NonPressureInputs>; usingBindings=typenamedecltype(relation_bindings<Carrier, Fields>(Quantities{}))::type; ifconstexpr(SurfaceStateBindings<Bindings>&&surface::detail::matches_pressure_relation<EOS, Bindings, typename Carrier::Quantity, Relation>()){ returnstd::tuple<std::type_identity<InversePressureSurfaceFormulation<EOS,Bindings,Relation>>>{}; } else{ returnstd::tuple<>{}; } } template<typenameEOS,typenameCarrier,typenameFields,typenameRelation> [[nodiscard]]constevalautodirect_candidate(){ usingnamespaceutils::dependencies; usingQuantities=CombinedKeyList<KeyList<typenameCarrier::Quantity>,typenamesurface::detail::RelationQuantities<Relation>::AllInputs>; usingBindings=typenamedecltype(relation_bindings<Carrier, Fields>(Quantities{}))::type; ifconstexpr(DirectPressureSurfaceCompilable<EOS,Bindings,typenameCarrier::Quantity,Relation>){ returnstd::tuple<std::type_identity<DirectPressureSurfaceFormulation<EOS,Bindings,typenameCarrier::Quantity,Relation>>>{}; } else{ returnstd::tuple<>{}; } } template<boolInverse,typenameEOS,typenameCarrier,typenameFields,typename...Relations> [[nodiscard]]constevalautorelation_candidates(eos::relations::RelationCatalog<Relations...>){ ifconstexpr(Inverse){ returnstd::tuple_cat(inverse_candidate<EOS, Carrier, Fields, Relations>()...); } else{ returnstd::tuple_cat(direct_candidate<EOS, Carrier, Fields, Relations>()...); } } }