value.hpp array type_traits serif/discretization/blocks/traits.hpp serif/discretization/forms/operands.hpp src/include/serif/equations/point.hpp src/include/serif/equations/rigid_rotation.hpp src/include/serif/geometry/surface/detail/relations.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/traits.hpp serif/discretization/domain/concepts.hpp serif/discretization/domain/physical_domains.hpp serif/discretization/domain/types.hpp serif/discretization/forms/operands.hpp src/include/serif/discretization/forms/value.hpp serif/discretization/functional_space/space.hpp serif/meta/enums.hpp serif/meta/names.hpp serif/utils/misc/concepts/numeric.hpp serif/utils/misc/std_helper/cleaning.hpp serif/utils/misc/std_helper/variadic_cleaning.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/discretization/fields_meanfield.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/plan.cpp src/include/serif/backend/mfem/discretization/field_values.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_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/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/top.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/discretization/forms/value.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/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/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/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/top.cpp serif::discretization::forms::OperationValue< 0, Operation::Value > serif::discretization::forms::OperationValue< 1, Operation::Value > serif::discretization::forms::OperationValue< 1, Operation::Divergence > serif::discretization::forms::OperationValue< 0, Operation::Gradient > serif::discretization::forms::OperationValue< 1, Operation::Gradient > serif::discretization::forms::OperationValue< 1, Operation::Curl > serif::discretization::forms::OperationValue< 1, Operation::NormalTrace > serif::discretization::forms::OperandResult< OperandT > serif::discretization::forms::ValueComponents< double > serif::discretization::forms::ValueComponents< void > serif::discretization::forms::ValueComponents< std::array< Entry, Size > > serif serif::discretization serif::discretization::forms Encode compile time information about the shape (rank) and data type of the result of various Operations. Emily M. Boudreaux TodoThis should be consolidated and removed. This information could be injected into the Operation itself. #pragmaonce #include<array> #include<type_traits> #include"serif/discretization/blocks/traits.hpp" #include"serif/discretization/forms/operands.hpp" namespaceserif::discretization::forms{ usingVectorValue=std::array<double,3>; usingMatrixValue=std::array<VectorValue,3>; template<std::size_tRank,typenameOperationT> structOperationValue; template<> structOperationValue<0,Operation::Value>{ usingtype=double; }; template<> structOperationValue<1,Operation::Value>{ usingtype=VectorValue; }; template<> structOperationValue<1,Operation::Divergence>{ usingtype=double; }; template<> structOperationValue<0,Operation::Gradient>{ usingtype=VectorValue; }; template<> structOperationValue<1,Operation::Gradient>{ usingtype=MatrixValue; }; template<> structOperationValue<1,Operation::Curl>{ usingtype=VectorValue; }; template<> structOperationValue<1,Operation::NormalTrace>{ usingtype=double; }; template<typenameOperandT> structOperandResult; template<IsOperandOperandT> requiresblocks::SpatialTerm<typename OperandT::term_type> structOperandResult<OperandT>:OperationValue<blocks::SpatialTermTraits<typenameOperandT::term_type>::rank,typenameOperandT::operation_type>{}; template<IsOperandOperandT> requiresblocks::GlobalScalarTerm<typename OperandT::term_type>&&std::same_as<typenameOperandT::operation_type,Operation::Value> structOperandResult<OperandT>{ usingtype=double; }; template<IsOperandOperandT> usingOperandValue=OperandResult<OperandT>::type; template<typenameValueT> structValueComponents; template<> structValueComponents<double>:std::integral_constant<int,1>{}; //OperandValuesusesvoidtorequestvaluesinsteadofderivatives;thatbranchstoresnoderivativeentries. template<> structValueComponents<void>:std::integral_constant<int,0>{}; template<typenameEntry,std::size_tSize> structValueComponents<std::array<Entry,Size>>:std::integral_constant<int,Size*ValueComponents<Entry>::value>{}; template<typenameValueT> inlineconstexprintcomponent_count=ValueComponents<std::remove_cv_t<ValueT>>::value; template<typenameOutputT,typenameInputT> usingPartialDerivative=std::conditional_t<std::same_as<OutputT,double>,InputT,std::conditional_t<std::same_as<InputT,double>,OutputT, std::array<std::array<double,component_count<InputT>>,component_count<OutputT>>>>; template<typenameValueT> decltype(auto)component(ValueT&value,intindex){ ifconstexpr(std::same_as<std::remove_cv_t<ValueT>,double>){ return(value); }else{ usingEntry=typenamestd::remove_cv_t<ValueT>::value_type; constexprintstride=component_count<Entry>; returncomponent(value[index/stride],index%stride); } } template<typenameOutputT,typenameInputT> doublederivative_component(constPartialDerivative<OutputT, InputT>&value,intoutput,intinput){ ifconstexpr(std::same_as<OutputT,double>){ returncomponent(value,input); }elseifconstexpr(std::same_as<InputT,double>){ returncomponent(value,output); }else{ returnvalue[output][input]; } } }//namespaceserif::discretization::forms