boundary_data.hpp memory utility serif/backend/mfem/discretization/boundary_trace.hpp serif/geometry/surface/compilation.hpp serif/backend/mfem/discretization/term_coefficients.hpp src/include/serif/backend/mfem/geometry/surface/boundary_inputs.hpp src/include/serif/backend/mfem/geometry/surface/boundary_rows.hpp serif/backend/mfem/discretization/boundary_trace.hpp serif/backend/mfem/discretization/dof_map.hpp serif/backend/mfem/discretization/dof_selection.hpp serif/backend/mfem/discretization/reconstruction.hpp serif/backend/mfem/discretization/term_binding.hpp serif/backend/mfem/discretization/term_coefficients.hpp src/include/serif/backend/mfem/geometry/surface/boundary_data.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/ids/boundary.hpp serif/discretization/domain/ids/concepts.hpp serif/discretization/domain/ids/domain.hpp serif/discretization/domain/ids/lists/concepts.hpp serif/discretization/domain/ids/lists/lists.hpp serif/discretization/domain/ids/lists/traits.hpp serif/discretization/domain/ids/validation/concepts.hpp serif/discretization/domain/ids/validation/unique_ids.hpp serif/discretization/domain/physical_domains.hpp serif/discretization/domain/relation/concepts.hpp serif/discretization/domain/relation/lists/concepts.hpp serif/discretization/domain/relation/lists/relation_list.hpp serif/discretization/domain/relation/lists/traits.hpp serif/discretization/domain/relation/relations.hpp serif/discretization/domain/relation/validation/concepts.hpp serif/discretization/domain/relation/validation/validation.hpp serif/discretization/domain/resolver.hpp serif/discretization/domain/schema/concepts.hpp serif/discretization/domain/schema/domain_schema.hpp serif/discretization/domain/schema/traits.hpp serif/discretization/domain/types.hpp serif/discretization/forms/operands.hpp serif/discretization/forms/value.hpp serif/discretization/functional_space/space.hpp serif/discretization/reconstruction/surface_power.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 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/dependency_context.hpp serif/utils/dependencies/detail/type_lists.hpp serif/utils/dependencies/key_list.hpp serif/utils/dependencies/key_list_operations.hpp serif/utils/dependencies/resource.hpp serif/utils/dependencies/snapshot.hpp serif/utils/error/codes.hpp serif/utils/error/errors.hpp serif/utils/error/nonfinite.hpp serif/utils/misc/concepts/concat.hpp serif/utils/misc/concepts/exceptions.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/terminal/colors.hpp serif/utils/misc/traits/type_uniqueness.hpp serif/utils/types/strings.hpp serif/utils/types/type_list.hpp algorithm array cmath compare concepts cstddef cstdint cstdio cstdlib exception format functional iostream magic_enum/magic_enum_all.hpp memory mfem/fem/fe/fe_base.hpp mfem/fem/fespace.hpp mfem/fem/pfespace.hpp mfem/linalg/sparsemat.hpp nameof.hpp numeric optional span stdexcept string string_view tuple type_traits unistd.h unordered_map utility vector version src/compile_time_checks/serif/geometry/surface_boundary.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/graph.hpp src/include/serif/backend/mfem/model/normalization/computations.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/solver/continuation/equilibrium.hpp src/include/serif/solver/equilibrium.hpp src/include/serif/solver/seed/state.hpp src/include/serif/solver/solver.hpp serif::geometry::surface::backend::mfem::PressureBoundary serif serif::geometry serif::geometry::surface serif::geometry::surface::backend serif::geometry::surface::backend::mfem serif::geometry::surface::backend::mfem::detail #pragmaonce #include<memory> #include<utility> #include"serif/backend/mfem/discretization/boundary_trace.hpp" #include"serif/geometry/surface/compilation.hpp" #include"serif/backend/mfem/discretization/term_coefficients.hpp" namespaceserif::geometry::surface::backend::mfem { namespacedetail { template<typename...Terms> [[nodiscard]]constevalboolsupported_boundary_terms(utils::dependencies::KeyList<Terms...>) { return(discretization::backend::mfem::BoundaryTraceTerm<Terms>&&...); } } template<typenameFormulation> conceptPressureBoundaryFormulation=PressureSurfaceFormulationType<Formulation>&& discretization::blocks::SpatialTerm<typename Formulation::Test>&& discretization::blocks::SpatialTermTraits<typename Formulation::Test>::family==discretization::functional_space::Family::h1&& detail::supported_boundary_terms(typenameFormulation::StateTerms{}); template<PressureBoundaryFormulationFormulationT,typenameTraces> structPressureBoundary { usingFormulation=FormulationT; std::shared_ptr<constdiscretization::backend::mfem::DofSelection>selected_rows; Tracestraces; voidvalidate()const { usingnamespaceutils::errors; serif_ensure<SERiFErrorCode::INVALID_ARGUMENT, std::invalid_argument>(selected_rows!=nullptr,"Anisobaricboundaryrequiresarowselection."); constautovalidate_traces=[&]<typename...Terms>(utils::dependencies::KeyList<Terms...>) { (traces.templateget<Terms>().validate(),...); serif_ensure<SERiFErrorCode::CACHE_FE_BINDING_ERROR, std::invalid_argument>(((&traces.templateget<Terms>().rows()==selected_rows.get())&&...),"Everypressure-boundarytracemustsamplethesameorderedequationrows."); }; validate_traces(typenameFormulation::StateTerms{}); } }; namespacedetail { template<PressureBoundaryFormulationFormulation,typenameCoefficients,typename...Terms> [[nodiscard]]automake_pressure_boundary(constCoefficients&coefficients,utils::dependencies::KeyList<Terms...>) { usingnamespaceutils::dependencies; usingnamespacediscretization::backend::mfem; usingRowBinding=std::remove_cvref_t<decltype(coefficients.templateget<typenameFormulation::Test>().binding)>; static_assert((std::same_as<typenameRowBinding::Schema,typenamestd::remove_cvref_t<decltype(coefficients.templateget<Terms>().binding)>::Schema>&&...),"Pressure-boundaryfieldsmustshareadomainschema."); constauto&row_binding=coefficients.templateget<typenameFormulation::Test>().binding; constautorows=std::make_shared<constDofSelection>(select_boundary_dofs<typenameFormulation::Support>(row_binding)); autotraces=make_dependency_context(own<Terms>(make_boundary_trace(rows,coefficients.templateget<Terms>().binding))...); usingBoundary=PressureBoundary<Formulation,decltype(traces)>; returnstd::make_shared<constBoundary>(Boundary{.selected_rows=rows,.traces=std::move(traces)}); } } template<PressureBoundaryFormulationFormulation,utils::dependencies::IsDependencyContextCoefficients> requiresutils::dependencies::SatisfiesKeyList<typename Coefficients::Bindings, typename Formulation::StateTerms> [[nodiscard]]automake_pressure_boundary(constCoefficients&coefficients) { returndetail::make_pressure_boundary<Formulation>(coefficients,typenameFormulation::StateTerms{}); } }