relations.hpp tuple type_traits serif/discretization/forms/value.hpp serif/eos/models/concepts.hpp serif/utils/dependencies/key_list_operations.hpp src/include/serif/geometry/surface/compilation.hpp serif/dimensions/dimensions.hpp serif/dimensions/partial.hpp serif/dimensions/quantities.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 src/include/serif/geometry/surface/detail/relations.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.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/geometry/surface/boundary_computations.hpp src/include/serif/backend/mfem/geometry/surface/boundary_data.hpp src/include/serif/backend/mfem/geometry/surface/boundary_inputs.hpp src/include/serif/backend/mfem/geometry/surface/boundary_rows.hpp src/include/serif/backend/mfem/geometry/surface/pressure_boundary.hpp src/include/serif/backend/mfem/geometry/surface/pressure_field_block.hpp src/include/serif/backend/mfem/model/binding.hpp src/include/serif/backend/mfem/model/computations/pressure_boundary.hpp src/include/serif/backend/mfem/model/equilibrium.hpp src/include/serif/backend/mfem/model/equilibrium_evaluator.hpp src/include/serif/backend/mfem/model/failure.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/compilation.hpp src/include/serif/geometry/surface/computations.hpp src/include/serif/geometry/surface/detail/automatic_relations.hpp src/include/serif/geometry/surface/detail/batches.hpp src/include/serif/geometry/surface/detail/evaluation.hpp src/include/serif/geometry/surface/detail/relations.hpp src/include/serif/geometry/surface/evaluation.hpp src/include/serif/geometry/surface/linearization.hpp src/include/serif/geometry/surface/samples.hpp src/include/serif/geometry/surface/surface.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::geometry::surface::detail::AreSurfaceBindings serif::geometry::surface::detail::AreSurfaceBindings< utils::dependencies::Bindings< Entries... > > serif::geometry::surface::detail::RelationQuantities< eos::relations::Relation< Output, Inputs... > > serif::geometry::surface::detail::MatchingPressureRelations< EOS, Bindings, Carrier, eos::relations::RelationCatalog< Relations... > > serif::geometry::surface::detail::SurfaceOperands< utils::dependencies::KeyList< Terms... > > serif::geometry::surface::detail::UniqueTerms< utils::types::TypeList< Terms... > > serif serif::geometry serif::geometry::surface serif::geometry::surface::detail #pragmaonce #include<tuple> #include<type_traits> #include"serif/discretization/forms/value.hpp" #include"serif/eos/models/concepts.hpp" #include"serif/utils/dependencies/key_list_operations.hpp" namespaceserif::geometry::surface{ template<typenameTerm> conceptSurfaceScalarTerm=discretization::blocks::Term<Term>&&requires{ typenamediscretization::forms::OperandValue<discretization::forms::Operand<Term>>; requiresstd::same_as<discretization::forms::OperandValue<discretization::forms::Operand<Term>>,double>; }; namespacedetail{ template<typenameBindings> structAreSurfaceBindings:std::false_type{ }; template<typename...Entries> structAreSurfaceBindings<utils::dependencies::Bindings<Entries...>>:std::bool_constant< sizeof...(Entries)!=0&&(dimensions::ThermodynamicQuantityType<typenameEntries::Key>&&...)&& (SurfaceScalarTerm<typenameEntries::Target>&&...)>{ }; } template<typenameBindings> conceptSurfaceStateBindings=utils::dependencies::IsBindings<Bindings>&&detail::AreSurfaceBindings<std::remove_cvref_t<Bindings>>::value; template<typenameBindings,typenameQuantity> conceptSurfaceResidualRow=utils::dependencies::BindingsWithBinding<Bindings, Quantity>&& discretization::blocks::HasResidualBlock<utils::dependencies::bound_type_t<Bindings, Quantity>>; namespacedetail{ template<typenameRelation> structRelationQuantities; template<typenameOutput,typename...Inputs> structRelationQuantities<eos::relations::Relation<Output,Inputs...>>{ usingAllInputs=utils::dependencies::KeyList<Inputs...>; usingNonPressureInputs=utils::dependencies::CombinedKeyList< std::conditional_t<std::same_as<Inputs,dimensions::Pressure>,utils::dependencies::KeyList<>,utils::dependencies::KeyList<Inputs>>...>; }; template<typenameEOS,typenameRelation,typename...Quantities> [[nodiscard]]constevalboolsupports_partials(utils::dependencies::KeyList<Quantities...>){ return(eos::models::EOSSupportingPartialDerivative<EOS, Relation, Quantities>&&...); } template<typenameEOS,typenameBindings,typenameCarrier,typenameRelation> [[nodiscard]]constevalboolmatches_pressure_relation(){ usingOutput=typenameRelation::OutputQuantity; usingInputs=typenameRelationQuantities<Relation>::NonPressureInputs; return!std::same_as<Output,dimensions::Pressure>&& (std::same_as<Carrier,void>||std::same_as<Carrier,Output>)&& eos::relations::RelationContainingInput<Relation, dimensions::Pressure>&& SurfaceResidualRow<Bindings, Output>&& utils::dependencies::SatisfiesKeyList<Bindings, Inputs>&&supports_partials<EOS, Relation>(Inputs{}); } template<typenameEOS,typenameBindings,typenameCarrier,typenameCatalog> structMatchingPressureRelations; template<typenameEOS,typenameBindings,typenameCarrier,typename...Relations> structMatchingPressureRelations<EOS,Bindings,Carrier,eos::relations::RelationCatalog<Relations...>>{ usingMatches=decltype(std::tuple_cat(std::declval<std::conditional_t<matches_pressure_relation<EOS, Bindings, Carrier, Relations>(),std::tuple<Relations>,std::tuple<>>>()...)); staticconstexprstd::size_tcount=std::tuple_size_v<Matches>; }; template<typenameTerms> structSurfaceOperands; template<typename...Terms> structSurfaceOperands<utils::dependencies::KeyList<Terms...>>{ usingType=utils::types::TypeList<discretization::forms::Operand<Terms>...>; }; template<typenameTerms> structUniqueTerms; template<typename...Terms> structUniqueTerms<utils::types::TypeList<Terms...>>{ usingType=utils::dependencies::CombinedKeyList<utils::dependencies::KeyList<Terms>...>; }; template<typenameBindings,typenameQuantities> usingBoundTerms=typenameUniqueTerms<utils::dependencies::ResolvedTargets<Bindings, Quantities>>::Type; } }