concepts.hpp concepts string_view serif/equations/contributions.hpp serif/equations/point.hpp src/include/serif/equations/equations.hpp src/include/serif/equations/registry.hpp src/include/serif/operators/concepts.hpp src/include/serif/operators/contributions.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 serif/discretization/forms/value.hpp serif/discretization/functional_space/space.hpp src/include/serif/equations/concepts.hpp serif/equations/contributions.hpp serif/equations/point.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 utility src/compile_time_checks/serif/backend_independent.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/include/serif/backend/mfem/discretization/field_values.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/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/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/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/equations/concepts.hpp src/include/serif/equations/equations.hpp src/include/serif/equations/registry.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/system_selection.cpp src/lib/serif/backend/mfem/serialize/top.cpp serif::equations::ValidContributions serif::equations::ValidContributions< RowT, std::tuple< C... > > serif serif::equations Concepts for equations, contributions, and pointwise evaluation. Emily M. Boudreaux #pragmaonce #include<concepts> #include<string_view> #include"serif/equations/contributions.hpp" #include"serif/equations/point.hpp" namespaceserif::equations{ template<typenameT> conceptPointEquation= requires{ typenameT::Test; typenameT::Operands; }&& (discretization::blocks::SpatialTerm<typename T::Test>||discretization::blocks::GlobalScalarTerm<typename T::Test>)&& discretization::blocks::HasResidualBlock<typename T::Test>&& discretization::forms::IsOperand<TestOperandOf<T>>&& std::same_as<typenameTestOperandOf<T>::term_type,typenameT::Test>&& requires(constT&equation,constEquationPoint<typename T::Operands>&point){ { equation.evaluate(point) }->std::same_as<PointLinearization<typenameT::Operands,discretization::forms::OperandValue<TestOperandOf<T>>>>; }; template<typenameRowT,typenameTupleT> structValidContributions:std::false_type{}; template<typenameRowT,typename...C> structValidContributions<RowT,std::tuple<C...>>:std::bool_constant< sizeof...(C)!=0&&(requires{ requiresPointEquation<C>; requiresstd::same_as<RowT,typenameC::Test>;}&&...)>{}; template<typenameT> conceptEquation=requires{ typenameT::Test; {T::name}->std::convertible_to<std::string_view>; }&&ValidContributions<typename T::Test, ContributionsOf<T>>::value; }//namespaceserif::equations