validation.hpp type_traits serif/discretization/domain/concepts.hpp serif/discretization/domain/ids/lists/concepts.hpp serif/discretization/domain/relation/concepts.hpp serif/discretization/domain/relation/lists/concepts.hpp serif/discretization/domain/relation/lists/relation_list.hpp serif/discretization/domain/resolver.hpp src/include/serif/discretization/domain/relation/validation/concepts.hpp serif/discretization/domain/concepts.hpp serif/discretization/domain/ids/boundary.hpp serif/discretization/domain/ids/concepts.hpp serif/discretization/domain/ids/domain.hpp serif/discretization/domain/ids/lists/concepts.hpp serif/discretization/domain/ids/lists/lists.hpp serif/discretization/domain/ids/lists/traits.hpp serif/discretization/domain/ids/validation/concepts.hpp serif/discretization/domain/ids/validation/unique_ids.hpp serif/discretization/domain/relation/concepts.hpp serif/discretization/domain/relation/lists/concepts.hpp serif/discretization/domain/relation/lists/relation_list.hpp serif/discretization/domain/relation/lists/traits.hpp serif/discretization/domain/relation/relations.hpp src/include/serif/discretization/domain/relation/validation/validation.hpp serif/discretization/domain/resolver.hpp serif/discretization/domain/types.hpp serif/utils/misc/concepts/numeric.hpp serif/utils/misc/concepts/type_uniqueness.hpp serif/utils/misc/std_helper/cleaning.hpp serif/utils/misc/std_helper/variadic_cleaning.hpp serif/utils/misc/traits/type_uniqueness.hpp array concepts cstddef format numeric span string_view type_traits src/compile_time_checks/serif/backend_independent.cpp src/compile_time_checks/serif/geometry/deformation_meanfield.cpp src/compile_time_checks/serif/geometry/surface_boundary.cpp src/compile_time_checks/serif/model/finite_elements.cpp src/compile_time_checks/serif/model/scalar_row.cpp src/compile_time_checks/serif/model/state.cpp src/compile_time_checks/serif/operators/computation_owners.cpp src/compile_time_checks/serif/operators/plan.cpp src/include/serif/backend/mfem/discretization/boundary_trace.hpp src/include/serif/backend/mfem/discretization/dof_selection.hpp src/include/serif/backend/mfem/discretization/field_values.hpp src/include/serif/backend/mfem/discretization/mass_diagonal.hpp src/include/serif/backend/mfem/discretization/schema.hpp src/include/serif/backend/mfem/discretization/term_binding.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/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/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_preparation.hpp src/include/serif/backend/mfem/operators/jacobian_operator.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/seed/fitted.hpp src/include/serif/backend/mfem/solver/seed/state.hpp src/include/serif/discretization/domain/relation/validation/concepts.hpp src/include/serif/discretization/domain/relation/validation/validation.hpp src/include/serif/discretization/domain/schema/concepts.hpp src/include/serif/discretization/domain/schema/domain_schema.hpp src/include/serif/discretization/domain/schema/schemas.hpp src/include/serif/discretization/domain/schema/traits.hpp src/include/serif/discretization/domain/schema/validation/all.hpp src/include/serif/discretization/domain/schema/validation/boundary.hpp src/include/serif/discretization/domain/schema/validation/connected.hpp src/include/serif/discretization/domain/schema/validation/inscribed.hpp src/include/serif/discretization/domain/schema/validation/validator.hpp src/include/serif/geometry/deformation/finite_elements.hpp src/include/serif/model/finite_elements.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/lib/serif/backend/mfem/discretization/boundary_trace.cpp src/lib/serif/backend/mfem/discretization/mass_diagonal.cpp 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 serif::discretization::domain::relation::validation::RelationUsesRegisteredEntities< FullyConnected< DomainT >, DomainIDsT, BoundaryIDsT > serif::discretization::domain::relation::validation::RelationUsesRegisteredEntities< Inscribed< InnerDomainT, OuterDomainT >, DomainIDsT, BoundaryIDsT > serif::discretization::domain::relation::validation::RelationUsesRegisteredEntities< DomainBoundary< BoundaryT, DomainTs... >, DomainIDsT, BoundaryIDsT > serif::discretization::domain::relation::validation::RelationsUseRegisteredEntities< DomainIDsT, BoundaryIDsT, lists::RelationList< RelationTs... > > serif serif::discretization serif::discretization::domain serif::discretization::domain::relation serif::discretization::domain::relation::validation Compile-time validation of relations in the discretization framework. This file provides utilities to check if relations use registered entities based on provided domain and boundary IDs. Emily M. Boudreaux This header is primarily split into a singular and a plural section. The plural section simply folds over a pack to invoke the singular section. #pragmaonce #include<type_traits> #include"serif/discretization/domain/concepts.hpp" #include"serif/discretization/domain/ids/lists/concepts.hpp" #include"serif/discretization/domain/relation/concepts.hpp" #include"serif/discretization/domain/relation/lists/concepts.hpp" #include"serif/discretization/domain/relation/lists/relation_list.hpp" #include"serif/discretization/domain/resolver.hpp" namespaceserif::discretization::domain::relation::validation{ usingids::lists::IsDomainIDList; usingids::lists::IsBoundaryIDList; usinglists::IsRelationList; template<IsRelationRelationT,IsDomainIDListDomainIDsT,IsBoundaryIDListBoundaryIDsT> structRelationUsesRegisteredEntities; template<IsDomainOrSetDomainT,IsDomainIDListDomainIDsT,IsBoundaryIDListBoundaryIDsT> structRelationUsesRegisteredEntities<FullyConnected<DomainT>,DomainIDsT,BoundaryIDsT>: std::bool_constant<DomainIDResolver<DomainT,DomainIDsT>::registered>{}; template<IsDomainOrSetInnerDomainT,IsDomainOrSetOuterDomainT,IsDomainIDListDomainIDsT,IsBoundaryIDListBoundaryIDsT> structRelationUsesRegisteredEntities<Inscribed<InnerDomainT,OuterDomainT>,DomainIDsT,BoundaryIDsT>: std::bool_constant< DomainIDResolver<InnerDomainT,DomainIDsT>::registered&& DomainIDResolver<OuterDomainT,DomainIDsT>::registered>{}; template<IsBoundaryBoundaryT,IsDomainOrSet...DomainTs,IsDomainIDListDomainIDsT,IsBoundaryIDListBoundaryIDsT> structRelationUsesRegisteredEntities<DomainBoundary<BoundaryT,DomainTs...>,DomainIDsT,BoundaryIDsT>: std::bool_constant< BoundaryIDResolver<BoundaryT,BoundaryIDsT>::registered&& (DomainIDResolver<DomainTs,DomainIDsT>::registered&&...)>{}; template<IsDomainIDListDomainIDsT,IsBoundaryIDListBoundaryIDsT,typenameRelationListT> structRelationsUseRegisteredEntities; template<IsDomainIDListDomainIDsT,IsBoundaryIDListBoundaryIDsT,IsRelation...RelationTs> structRelationsUseRegisteredEntities<DomainIDsT,BoundaryIDsT,lists::RelationList<RelationTs...>>: std::bool_constant<(RelationUsesRegisteredEntities<RelationTs,DomainIDsT,BoundaryIDsT>::value&&...)>{}; }