binding.hpp array type_traits serif/utils/misc/traits/type_uniqueness.hpp src/compile_time_checks/serif/utils/dependencies/binding.cpp src/include/serif/model/detail/specification_endpoints.hpp src/include/serif/solver/normalization/plan.hpp src/include/serif/utils/dependencies/dependencies.hpp src/include/serif/utils/dependencies/key_list.hpp src/include/serif/utils/dependencies/binding.hpp serif/utils/misc/std_helper/cleaning.hpp serif/utils/misc/traits/type_uniqueness.hpp array type_traits src/compile_time_checks/serif/backend_independent.cpp src/compile_time_checks/serif/discretization/fields_meanfield.cpp src/compile_time_checks/serif/geometry/deformation_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/continuation.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/compile_time_checks/serif/utils/dependencies/binding.cpp src/compile_time_checks/serif/utils/dependencies/computation_graph.cpp src/compile_time_checks/serif/utils/dependencies/dependency_context.cpp src/compile_time_checks/serif/utils/dependencies/key_list.cpp src/compile_time_checks/serif/utils/dependencies/mixed_errors.cpp src/include/serif/backend/mfem/discretization/field_values.hpp src/include/serif/backend/mfem/discretization/resources.hpp src/include/serif/backend/mfem/discretization/term_coefficients.hpp src/include/serif/backend/mfem/geometry/deformation/computations.hpp src/include/serif/backend/mfem/geometry/deformation/inputs.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/physical_blocks.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/shape_derivatives.hpp src/include/serif/backend/mfem/model/computations/solver_layout.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/preconditioning/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/preparation.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/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/preconditioner/computations/coupling.hpp src/include/serif/backend/mfem/solver/preconditioner/computations/inverse.hpp src/include/serif/backend/mfem/solver/preconditioner/computations/ordering.hpp src/include/serif/backend/mfem/solver/preconditioner/computations/physical_blocks.hpp src/include/serif/backend/mfem/solver/preconditioner/graph.hpp src/include/serif/backend/mfem/solver/seed/fitted.hpp src/include/serif/backend/mfem/solver/seed/state.hpp src/include/serif/discretization/blocks/system_layout.hpp src/include/serif/discretization/blocks/vector_view.hpp src/include/serif/geometry/deformation/computations.hpp src/include/serif/geometry/deformation/deformation.hpp src/include/serif/geometry/deformation/finite_elements.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/configured_discretization.hpp src/include/serif/model/detail/specification_endpoints.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/normalization/reference.hpp src/include/serif/model/plan.hpp src/include/serif/model/state.hpp src/include/serif/model/validation.hpp src/include/serif/operators/linearized_system_view.hpp src/include/serif/operators/plan.hpp src/include/serif/solver/continuation/continuation.hpp src/include/serif/solver/continuation/driver.hpp src/include/serif/solver/continuation/equilibrium.hpp src/include/serif/solver/continuation/family.hpp src/include/serif/solver/continuation/identified_equations.hpp src/include/serif/solver/continuation/options.hpp src/include/serif/solver/continuation/parameters.hpp src/include/serif/solver/continuation/polytropic.hpp src/include/serif/solver/continuation/stellar_parameters.hpp src/include/serif/solver/equilibrium.hpp src/include/serif/solver/normalization/computations.hpp src/include/serif/solver/normalization/configuration.hpp src/include/serif/solver/normalization/detail/factor_computations.hpp src/include/serif/solver/normalization/dimensionless.hpp src/include/serif/solver/normalization/layout.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/keys.hpp src/include/serif/solver/preconditioner/preconditioner.hpp src/include/serif/solver/preconditioner/recipes/block.hpp src/include/serif/solver/preconditioner/recipes/bordered.hpp src/include/serif/solver/preconditioner/recipes/coupled.hpp src/include/serif/solver/seed/state.hpp src/include/serif/solver/solver.hpp src/include/serif/utils/dependencies/binding.hpp src/include/serif/utils/dependencies/computation.hpp src/include/serif/utils/dependencies/computation_cache.hpp src/include/serif/utils/dependencies/computation_graph.hpp src/include/serif/utils/dependencies/dependencies.hpp src/include/serif/utils/dependencies/dependency_context.hpp src/include/serif/utils/dependencies/detail/cache_storage.hpp src/include/serif/utils/dependencies/detail/cache_traits.hpp src/include/serif/utils/dependencies/detail/graph.hpp src/include/serif/utils/dependencies/detail/schema.hpp src/include/serif/utils/dependencies/detail/type_lists.hpp src/include/serif/utils/dependencies/key_list.hpp src/include/serif/utils/dependencies/key_list_operations.hpp src/include/serif/utils/dependencies/observers.hpp src/include/serif/utils/dependencies/preparation.hpp src/include/serif/utils/dependencies/timing.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/geometry/deformation/inputs.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/blocks/system_layout.cpp src/lib/serif/solver/normalization/dimensionless.cpp serif::utils::dependencies::Binding serif::utils::dependencies::Bindings serif::utils::dependencies::detail::HasBinding< Bindings< BindingTs... >, KeyT > serif::utils::dependencies::detail::BindingLookup< Bindings< BindingTs... > > serif::utils::dependencies::detail::BoundType serif::utils::dependencies::HasBinding serif::utils::dependencies::BoundType serif serif::utils serif::utils::dependencies serif::utils::dependencies::detail #pragmaonce #include<array> #include<type_traits> #include"serif/utils/misc/traits/type_uniqueness.hpp" namespaceserif::utils::dependencies{ template<typenameKeyT,typenameTargetT> structBinding{ usingKey=KeyT; usingTarget=TargetT; }; template<typenameT> conceptIsBinding=requires{ typenameT::Key; typenameT::Target; }&&std::is_same_v<T,Binding<typenameT::Key,typenameT::Target>>; namespacedetail{ template<typename...Types> inlineconstexprboolvalid_binding_types_v=[]{ constexprstd::array<bool,sizeof...(Types)>valid{IsBinding<Types>...}; for(constboolbinding:valid){ if(!binding){returnfalse;} } returntrue; }(); } template<typename...BindingTs>requiresdetail::valid_binding_types_v<BindingTs...> structBindings{}; template<typenameT> inlineconstexprboolis_bindings_v=false; template<typename...BindingTs>requiresdetail::valid_binding_types_v<BindingTs...> inlineconstexprboolis_bindings_v<Bindings<BindingTs...>>=misc::traits::all_unique_types_v<typenameBindingTs::Key...>; template<typenameT> conceptIsBindings=is_bindings_v<std::remove_cvref_t<T>>; namespacedetail{ template<typenameBindingsT,typenameKeyT> structHasBinding; template<typenameKeyT,typename...BindingTs>requiresvalid_binding_types_v<BindingTs...> structHasBinding<Bindings<BindingTs...>,KeyT>{ constexprstaticboolvalue=[]{ constexprstd::array<bool,sizeof...(BindingTs)>matches{std::is_same_v<KeyT,typenameBindingTs::Key>...}; for(constboolmatch:matches){ if(match){returntrue;} } returnfalse; }(); }; template<typenameBindingsT> structBindingLookup; template<typename...BindingTs>requiresvalid_binding_types_v<BindingTs...> structBindingLookup<Bindings<BindingTs...>>:BindingTs...{ template<typenameKeyT,typenameTargetT> staticBinding<KeyT, TargetT>select(Binding<KeyT, TargetT>); }; template<typenameBindingsT,typenameKeyT> structBoundType{ usingLookup=BindingLookup<BindingsT>; usingtarget_type=decltype(Lookup::templateselect<KeyT>(Lookup{}))::Target; }; } template<IsBindingsBindingsT,typenameKeyT> structHasBinding:detail::HasBinding<std::remove_cvref_t<BindingsT>,KeyT>{}; template<IsBindingsBindingsT,typenameKeyT> inlineconstexprboolhas_binding_v=HasBinding<BindingsT, KeyT>::value; template<typenameBindingsT,typenameKeyT> conceptBindingsWithBinding=IsBindings<BindingsT>&&has_binding_v<BindingsT, KeyT>; template<typenameBindingsT,typenameKeyT> requiresBindingsWithBinding<BindingsT, KeyT> structBoundType:detail::BoundType<std::remove_cvref_t<BindingsT>,KeyT>{}; template<typenameBindingsT,typenameKeyT> usingbound_type_t=BoundType<BindingsT, KeyT>::target_type; }