binding.hpp type_traits serif/utils/misc/traits/type_uniqueness.hpp src/compile_time_checks/serif/utils/dependencies/binding.cpp src/include/serif/solver/normalization/plan.hpp src/include/serif/utils/dependencies/computation_store.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 type_traits 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/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/operators/serial_backend.cpp src/compile_time_checks/serif/solver/normalization/plan.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/computation_store.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/equations/pressure_surface.hpp src/include/serif/geometry/deformation/backend/mfem/computations.hpp src/include/serif/geometry/deformation/backend/mfem/inputs.hpp src/include/serif/geometry/deformation/backend/mfem/volume_displacement.hpp src/include/serif/geometry/deformation/computations.hpp src/include/serif/geometry/deformation/deformation.hpp src/include/serif/geometry/surface/backend/mfem/boundary_computations.hpp src/include/serif/geometry/surface/backend/mfem/boundary_data.hpp src/include/serif/geometry/surface/backend/mfem/boundary_inputs.hpp src/include/serif/geometry/surface/backend/mfem/boundary_rows.hpp src/include/serif/geometry/surface/backend/mfem/pressure_boundary.hpp src/include/serif/geometry/surface/compilation.hpp src/include/serif/geometry/surface/computations.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/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/nodal_computations.hpp src/include/serif/operators/backend/mfem/nodal_inputs.hpp src/include/serif/operators/backend/mfem/preparation.hpp src/include/serif/operators/backend/mfem/quadrature.hpp src/include/serif/operators/backend/mfem/term_coefficients.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 src/include/serif/solver/normalization/backend/mfem/metric_computations.hpp src/include/serif/solver/normalization/computations.hpp src/include/serif/solver/normalization/detail/factor_computations.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/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/computation_store.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/incremental_computation.hpp src/include/serif/utils/dependencies/key_list.hpp src/include/serif/utils/dependencies/key_list_operations.hpp src/include/serif/utils/dependencies/preparation.hpp src/lib/serif/geometry/deformation/backend/mfem/inputs.cpp serif::utils::dependencies::Binding serif::utils::dependencies::Bindings serif::utils::dependencies::detail::HasBinding< Bindings< BindingTs... >, KeyT > serif::utils::dependencies::detail::BoundType< Bindings< BindingTs... >, KeyT > serif::utils::dependencies::detail::BoundType< Bindings< BindingTs... >, KeyT >::binding_tag serif::utils::dependencies::detail::BoundType< Bindings< BindingTs... >, KeyT >::collector serif::utils::dependencies::HasBinding serif::utils::dependencies::BoundType serif serif::utils serif::utils::dependencies serif::utils::dependencies::detail #pragmaonce #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>>; template<IsBinding...BindingTs> structBindings{}; template<typenameT> inlineconstexprboolis_bindings_v=false; template<IsBinding...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,IsBinding...BindingTs> structHasBinding<Bindings<BindingTs...>,KeyT>{ constexprstaticboolvalue=(std::is_same_v<KeyT,typenameBindingTs::Key>||...); }; template<typenameBindingsT,typenameKeyT> structBoundType; template<typenameKeyT,IsBinding...BindingTs> structBoundType<Bindings<BindingTs...>,KeyT>{ private: template<typenameK,typenameT> structbinding_tag{ usingtype=T; }; structcollector:binding_tag<typenameBindingTs::Key,typenameBindingTs::Target>...{}; template<typenameK,typenameT> staticbinding_tag<K, T>select(binding_tag<K, T>); public: usingtarget_type=decltype(select<KeyT>(collector{}))::type; }; } 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; }