space.hpp type_traits format serif/meta/enums.hpp src/include/serif/backend/mfem/discretization/quadrature/order.hpp src/include/serif/discretization/blocks/fields.hpp src/include/serif/operators/concepts.hpp src/include/serif/discretization/functional_space/space.hpp serif/meta/enums.hpp format magic_enum/magic_enum_all.hpp type_traits unordered_map src/compile_time_checks/serif/backend/mfem/discretization/quadrature/mfem_resolver.cpp src/compile_time_checks/serif/backend/mfem/discretization/quadrature/mfem_static_order.cpp src/compile_time_checks/serif/backend_independent.cpp src/compile_time_checks/serif/discretization/blocks/fields.cpp src/compile_time_checks/serif/discretization/fields_meanfield.cpp src/compile_time_checks/serif/discretization/forms/forms.cpp src/compile_time_checks/serif/discretization/forms/operands.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/scalar_row.cpp src/compile_time_checks/serif/model/state.cpp src/compile_time_checks/serif/model/validation.cpp src/compile_time_checks/serif/operators/computation_owners.cpp src/compile_time_checks/serif/operators/coordinate_identity_meanfield.cpp src/compile_time_checks/serif/operators/plan.cpp src/compile_time_checks/serif/solver/normalization/dimensionless.cpp src/compile_time_checks/serif/solver/normalization/plan.cpp src/compile_time_checks/serif/solver/preconditioner/layout.cpp src/include/serif/backend/mfem/discretization/basis_evaluation.hpp src/include/serif/backend/mfem/discretization/boundary_trace.hpp src/include/serif/backend/mfem/discretization/dof_map.hpp src/include/serif/backend/mfem/discretization/dof_selection.hpp src/include/serif/backend/mfem/discretization/element_coordinates.hpp src/include/serif/backend/mfem/discretization/field_values.hpp src/include/serif/backend/mfem/discretization/mass_diagonal.hpp src/include/serif/backend/mfem/discretization/quadrature/mfem_resolver.hpp src/include/serif/backend/mfem/discretization/quadrature/mfem_static_order.hpp src/include/serif/backend/mfem/discretization/quadrature/order.hpp src/include/serif/backend/mfem/discretization/reconstruction.hpp src/include/serif/backend/mfem/discretization/tensor_basis.hpp src/include/serif/backend/mfem/discretization/term_binding.hpp src/include/serif/backend/mfem/discretization/term_coefficients.hpp src/include/serif/backend/mfem/geometry/deformation/displacement_mapping.hpp 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/interior.hpp src/include/serif/backend/mfem/model/computations/potential_infinity.hpp src/include/serif/backend/mfem/model/computations/pressure_boundary.hpp src/include/serif/backend/mfem/model/computations/scalar_row.hpp src/include/serif/backend/mfem/model/computations/surface_potential.hpp src/include/serif/backend/mfem/model/discretization.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/inputs.hpp src/include/serif/backend/mfem/model/normalization/computations.hpp src/include/serif/backend/mfem/model/state.hpp src/include/serif/backend/mfem/model/surface_potential.hpp src/include/serif/backend/mfem/model/volume.hpp src/include/serif/backend/mfem/model/volume_actions.hpp src/include/serif/backend/mfem/model/volume_displacement.hpp src/include/serif/backend/mfem/operators/element_data.hpp src/include/serif/backend/mfem/operators/element_evaluation.hpp src/include/serif/backend/mfem/operators/element_preparation.hpp src/include/serif/backend/mfem/operators/element_transpose.hpp src/include/serif/backend/mfem/operators/geometry_derivatives.hpp src/include/serif/backend/mfem/operators/jacobian_operator.hpp src/include/serif/backend/mfem/operators/operand_evaluation.hpp src/include/serif/backend/mfem/operators/quadrature.hpp src/include/serif/backend/mfem/operators/volume_application.hpp src/include/serif/backend/mfem/operators/volume_computations.hpp src/include/serif/backend/mfem/operators/volume_data.hpp src/include/serif/backend/mfem/operators/volume_field_block.hpp src/include/serif/backend/mfem/operators/volume_inputs.hpp src/include/serif/backend/mfem/operators/volume_stages.hpp src/include/serif/backend/mfem/operators/workspace.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/resources.hpp src/include/serif/backend/mfem/serialize/top.hpp src/include/serif/backend/mfem/solver/admissibility/geometry.hpp src/include/serif/backend/mfem/solver/continuation/detail/physical_transfer.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/normalization/metric_computations.hpp src/include/serif/backend/mfem/solver/seed/state.hpp src/include/serif/discretization/blocks/blocks.hpp src/include/serif/discretization/blocks/concepts.hpp src/include/serif/discretization/blocks/fields.hpp src/include/serif/discretization/blocks/runtime.hpp src/include/serif/discretization/blocks/traits.hpp src/include/serif/discretization/forms/concept.hpp src/include/serif/discretization/forms/form_traits.hpp src/include/serif/discretization/forms/forms.hpp src/include/serif/discretization/forms/operands.hpp src/include/serif/discretization/forms/runtime.hpp src/include/serif/discretization/forms/value.hpp src/include/serif/discretization/functional_space/space.hpp src/include/serif/discretization/quadrature/policy.hpp src/include/serif/discretization/quadrature/query.hpp src/include/serif/discretization/quadrature/rules.hpp src/include/serif/equations/angular_momentum.hpp src/include/serif/equations/barotropic_density.hpp src/include/serif/equations/barycenter.hpp src/include/serif/equations/companion.hpp src/include/serif/equations/concepts.hpp src/include/serif/equations/contributions.hpp src/include/serif/equations/equations.hpp src/include/serif/equations/mass_normalization.hpp src/include/serif/equations/point.hpp src/include/serif/equations/primal_gravity.hpp src/include/serif/equations/registry.hpp src/include/serif/equations/rigid_rotation.hpp src/include/serif/equations/surface_potential.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/model/plan.hpp src/include/serif/model/validation.hpp src/include/serif/operators/concepts.hpp src/include/serif/operators/contributions.hpp src/include/serif/operators/plan.hpp src/include/serif/solver/continuation/equilibrium.hpp src/include/serif/solver/equilibrium.hpp src/include/serif/solver/normalization/computations.hpp src/include/serif/solver/normalization/detail/factor_computations.hpp src/include/serif/solver/normalization/dimensionless.hpp src/include/serif/solver/normalization/metrics.hpp src/include/serif/solver/normalization/normalization.hpp src/include/serif/solver/normalization/physical_coordinates.hpp src/include/serif/solver/normalization/plan.hpp src/include/serif/solver/preconditioner/default_preconditioners.hpp src/include/serif/solver/preconditioner/preconditioner.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/serialize.hpp src/include/serif/utils/serialize/solver.hpp src/lib/serif/backend/mfem/discretization/basis_evaluation.cpp src/lib/serif/backend/mfem/discretization/boundary_trace.cpp src/lib/serif/backend/mfem/discretization/element_coordinates.cpp src/lib/serif/backend/mfem/discretization/mass_diagonal.cpp src/lib/serif/backend/mfem/discretization/reconstruction.cpp src/lib/serif/backend/mfem/model/deformation.cpp src/lib/serif/backend/mfem/model/finite_elements.cpp src/lib/serif/backend/mfem/model/surface_potential.cpp src/lib/serif/backend/mfem/model/system_selection.cpp src/lib/serif/backend/mfem/serialize/resources.cpp src/lib/serif/backend/mfem/serialize/top.cpp src/lib/serif/discretization/quadrature/policy.cpp src/lib/serif/solver/normalization/dimensionless.cpp serif::discretization::functional_space::Rank serif::discretization::functional_space::SpaceDescriptor serif::discretization::functional_space::DiscreteFunctionalSpace std::formatter< serif::discretization::functional_space::Rank< R > > std::formatter< serif::discretization::functional_space::SpaceDescriptor > std::formatter< serif::discretization::functional_space::DiscreteFunctionalSpace< Space, Order, R > > std::formatter< serif::discretization::functional_space::Family > std::formatter< serif::discretization::functional_space::Continuity > std::formatter< serif::discretization::functional_space::Trace > std::formatter< serif::discretization::functional_space::Mapping > serif serif::discretization serif::discretization::functional_space This file defines the functional space types used in the discretization framework, including compile-time descriptors and runtime descriptors. Emily M. Boudreaux #pragmaonce #include<type_traits> #include<format> #include"serif/meta/enums.hpp" namespaceserif::discretization::functional_space{ template<std::size_tR> structRank{ constexprstaticstd::size_tvalue=R; }; enumclassFamily{ l2, h1, hdiv, hcurl }; inlinestaticautoFamily2StringMap=meta::enum_to_enum_string_map<Family>(); inlinestaticautoString2FamilyMap=meta::enum_to_string_enum_map<Family>(); enumclassContinuity{ discontinuous, continuous, normal_continuous, tangential_continuous }; inlinestaticautoContinuity2StringMap=meta::enum_to_enum_string_map<Continuity>(); inlinestaticautoString2ContinuityMap=meta::enum_to_string_enum_map<Continuity>(); enumclassTrace{ none, value, normal, tangential }; inlinestaticautoTrace2StringMap=meta::enum_to_enum_string_map<Trace>(); inlinestaticautoString2TraceMap=meta::enum_to_string_enum_map<Trace>(); enumclassMapping{ identity, contravariant_piola, covariant_piola }; inlinestaticautoMapping2StringMap=meta::enum_to_enum_string_map<Mapping>(); inlinestaticautoString2MappingMap=meta::enum_to_string_enum_map<Mapping>(); structSpaceDescriptorfinal{ constFamilyfamily; constContinuitycontinuity; constTracetrace; constMappingmapping; }; inlinestaticconstexprSpaceDescriptorL2{ .family=Family::l2, .continuity=Continuity::discontinuous, .trace=Trace::none, .mapping=Mapping::identity }; inlinestaticconstexprSpaceDescriptorH1{ .family=Family::h1, .continuity=Continuity::continuous, .trace=Trace::value, .mapping=Mapping::identity }; inlinestaticconstexprSpaceDescriptorHdiv{ .family=Family::hdiv, .continuity=Continuity::normal_continuous, .trace=Trace::normal, .mapping=Mapping::contravariant_piola }; inlinestaticconstexprSpaceDescriptorHcurl{ .family=Family::hcurl, .continuity=Continuity::tangential_continuous, .trace=Trace::tangential, .mapping=Mapping::covariant_piola }; template<SpaceDescriptorSpace,intOrder,std::size_tR> structDiscreteFunctionalSpace{ static_assert(Order>=0,"Finite-elementfamilyordermustbenon-negative."); static_assert((Space.family!=Family::hdiv&&Space.family!=Family::hcurl)||R==1,"H(div)andH(curl)spacesmustbevector-valued."); staticconstexprSpaceDescriptorfunctional_space=Space; staticconstexprintorder=Order; usingrank=Rank<R>; }; } template<std::size_tR> structstd::formatter<serif::discretization::functional_space::Rank<R>>:std::formatter<std::string>{ template<typenameFormatContext> autoformat(constserif::discretization::functional_space::Rank<R>&/*rank*/,FormatContext&ctx)const{ if(R==0){ returnstd::formatter<std::string>::format("Scalar",ctx); }elseif(R==1){ returnstd::formatter<std::string>::format("Vector",ctx); }elseif(R>=2){ returnstd::formatter<std::string>::format("Rank"+std::to_string(R)+"tensor",ctx); } } }; template<> structstd::formatter<serif::discretization::functional_space::SpaceDescriptor>:std::formatter<std::string>{ template<typenameFormatContext> autoformat(constserif::discretization::functional_space::SpaceDescriptor&space,FormatContext&ctx)const{ returnstd::formatter<std::string>::format(std::format("SpaceDescriptor(family={},continuity={},trace={},mapping={})", serif::discretization::functional_space::Family2StringMap.at(space.family), serif::discretization::functional_space::Continuity2StringMap.at(space.continuity), serif::discretization::functional_space::Trace2StringMap.at(space.trace), serif::discretization::functional_space::Mapping2StringMap.at(space.mapping)),ctx); } }; //formatterforDiscreteFunctionalSpace template<serif::discretization::functional_space::SpaceDescriptorSpace,intOrder,std::size_tR> structstd::formatter<serif::discretization::functional_space::DiscreteFunctionalSpace<Space,Order,R>>:std::formatter<std::string>{ template<typenameFormatContext> autoformat(constserif::discretization::functional_space::DiscreteFunctionalSpace<Space, Order, R>&space,FormatContext&ctx)const{ returnstd::formatter<std::string>::format(std::format("DiscreteFunctionalSpace(functional_space={},order={},rank={})", space.functional_space, space.order, serif::discretization::functional_space::Rank<R>{}),ctx); } }; template<> structstd::formatter<serif::discretization::functional_space::Family>:std::formatter<std::string>{ template<typenameFormatContext> autoformat(constserif::discretization::functional_space::Family&family,FormatContext&ctx)const{ returnstd::formatter<std::string>::format(serif::discretization::functional_space::Family2StringMap.at(family),ctx); } }; template<> structstd::formatter<serif::discretization::functional_space::Continuity>:std::formatter<std::string>{ template<typenameFormatContext> autoformat(constserif::discretization::functional_space::Continuity&continuity,FormatContext&ctx)const{ returnstd::formatter<std::string>::format(serif::discretization::functional_space::Continuity2StringMap.at(continuity),ctx); } }; template<> structstd::formatter<serif::discretization::functional_space::Trace>:std::formatter<std::string>{ template<typenameFormatContext> autoformat(constserif::discretization::functional_space::Trace&trace,FormatContext&ctx)const{ returnstd::formatter<std::string>::format(serif::discretization::functional_space::Trace2StringMap.at(trace),ctx); } }; template<> structstd::formatter<serif::discretization::functional_space::Mapping>:std::formatter<std::string>{ template<typenameFormatContext> autoformat(constserif::discretization::functional_space::Mapping&mapping,FormatContext&ctx)const{ returnstd::formatter<std::string>::format(serif::discretization::functional_space::Mapping2StringMap.at(mapping),ctx); } };