plan.hpp tuple serif/utils/dependencies/key_list_operations.hpp serif/discretization/forms/forms.hpp serif/operators/concepts.hpp src/compile_time_checks/serif/operators/plan.cpp src/include/serif/operators/backend/mfem/element_evaluation.hpp src/include/serif/operators/backend/mfem/quadrature.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/forms.hpp serif/discretization/forms/operands.hpp serif/discretization/forms/value.hpp serif/discretization/functional_space/space.hpp serif/equations/concepts.hpp serif/equations/contributions.hpp serif/equations/point.hpp serif/meta/enums.hpp serif/meta/names.hpp serif/operators/concepts.hpp src/include/serif/operators/plan.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/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 utility src/compile_time_checks/serif/operators/computation_owners.cpp src/compile_time_checks/serif/operators/plan.cpp src/include/serif/geometry/deformation/backend/mfem/volume_displacement.hpp src/include/serif/operators/backend/mfem/element_evaluation.hpp src/include/serif/operators/backend/mfem/element_preparation.hpp src/include/serif/operators/backend/mfem/element_transpose.hpp src/include/serif/operators/backend/mfem/jacobian_operator.hpp src/include/serif/operators/backend/mfem/quadrature.hpp src/include/serif/operators/backend/mfem/volume_application.hpp src/include/serif/operators/backend/mfem/volume_computations.hpp src/include/serif/operators/backend/mfem/volume_data.hpp src/include/serif/operators/backend/mfem/volume_inputs.hpp src/include/serif/operators/backend/mfem/volume_stages.hpp src/include/serif/operators/plan.hpp serif::operators::detail::AsKeyList< utils::types::TypeList< T... > > serif::operators::detail::Join serif::operators::detail::ContributionOperands< std::tuple< C... > > serif::operators::detail::Columns< utils::types::TypeList< O... > > serif::operators::detail::CouplingForm serif::operators::EquationPlan< EquationT, utils::types::TypeList< O... > > serif serif::operators serif::operators::detail #pragmaonce #include<tuple> #include"serif/utils/dependencies/key_list_operations.hpp" #include"serif/discretization/forms/forms.hpp" #include"serif/operators/concepts.hpp" namespaceserif::operators{ namespacedetail{ template<typenameListT>structAsKeyList; template<typename...T>structAsKeyList<utils::types::TypeList<T...>>{ usingtype=utils::dependencies::CombinedKeyList<utils::dependencies::KeyList<T>...>; }; template<typename...Lists>structJoin{ usingtype=typenameutils::dependencies::CombinedKeyList<typename AsKeyList<Lists>::type...>::Keys; }; template<typenameTupleT>structContributionOperands; template<typename...C>structContributionOperands<std::tuple<C...>>:Join<typenameC::Operands...>{}; template<typenameListT>structColumns; template<typename...O> structColumns<utils::types::TypeList<O...>>{ usingtype=typenameutils::dependencies::CombinedKeyList<utils::dependencies::KeyList<discretization::forms::Operand<typename O::term_type>>...>::Keys; }; template<typenameInput,typenameTestOperand>structCouplingForm{ usingTrial=typenameInput::term_type; usingTest=typenameTestOperand::term_type; usingtype=std::conditional_t< std::same_as<typenameInput::operation_type,discretization::forms::Operation::Divergence>, discretization::forms::divergence<Trial, Test>, std::conditional_t<std::same_as<typenameTestOperand::operation_type,discretization::forms::Operation::Divergence>, discretization::forms::divergence<Test, Trial>, std::conditional_t<std::same_as<Trial,Test>,discretization::forms::mass<Trial, Test>, discretization::forms::source<Trial, Test>>>>; }; }//namespacedetail template<VolumeEquationEquationT, typenameOperandsT=typenamedetail::ContributionOperands<equations::ContributionsOf<EquationT>>::type> structEquationPlan; template<VolumeEquationEquationT,typename...O>structEquationPlan<EquationT,utils::types::TypeList<O...>>{ usingTest=typenameEquationT::Test; usingSupport=discretization::blocks::SupportOf<Test>; usingOperands=utils::types::TypeList<O...>; usingColumns=typenamedetail::Columns<Operands>::type; staticconstexprstd::size_toperand_count=sizeof...(O); staticconstexprstd::size_tcolumn_count=equations::OperandValues<Columns>::count; staticconstexprintcomponent_count=(discretization::forms::component_count<discretization::forms::OperandValue<O>>+...+0); template<typenameOperandT,typenameContributionT=EquationT> usingForm=typenamedetail::CouplingForm<OperandT, equations::TestOperandOf<ContributionT>>::type; template<typenameOperandT>staticconstevalstd::size_tcolumn_index(){ returnequations::OperandValues<Columns>::templateindex<typenameOperandT::term_type>(); } template<typenameOperandT>staticconstevalintcomponent_offset(){ constexprstd::arraycounts{discretization::forms::component_count<discretization::forms::OperandValue<O>>...}; constexprautoindex=equations::OperandValues<Operands>::templateindex<OperandT>(); intoffset=0; for(std::size_ti=0;i<index;++i){ offset+=counts[i]; } returnoffset; } template<typenameFunctionT>staticvoidfor_each_operand(FunctionT&&function){ (function(O{},equations::OperandValues<Operands>::templateindex<O>()),...); } template<typenameContributionT,typenameFunctionT>staticvoidfor_each_input(FunctionT&&function){ [&]<typename...Input>(utils::types::TypeList<Input...>){ (function(Input{},equations::OperandValues<Operands>::templateindex<Input>()),...); }(typenameContributionT::Operands{}); } template<typenameFunctionT>staticvoidfor_each_column(FunctionT&&function){ [&]<typename...Column>(utils::types::TypeList<Column...>){ (function(Column{},equations::OperandValues<Columns>::templateindex<Column>()),...); }(Columns{}); } }; }//namespaceserif::operators