all.hpp serif/discretization/domain/mesh/topology.hpp serif/discretization/domain/schema/concepts.hpp serif/discretization/domain/schema/validation/results.hpp serif/discretization/domain/schema/validation/validator.hpp serif/discretization/domain/schema/validation/boundary.hpp serif/discretization/domain/schema/validation/connected.hpp serif/discretization/domain/schema/validation/inscribed.hpp src/compile_time_checks/serif/backend_independent.cpp src/include/serif/backend/mfem/discretization/schema.hpp serif serif::discretization serif::discretization::domain serif::discretization::domain::schema serif::discretization::domain::schema::validation File containing validate_schema, which selects the topology validators required by the schema type. Emily M. Boudreaux #pragmaonce #include"serif/discretization/domain/mesh/topology.hpp" #include"serif/discretization/domain/schema/concepts.hpp" #include"serif/discretization/domain/schema/validation/results.hpp" #include"serif/discretization/domain/schema/validation/validator.hpp" //EveryRelationValidatorspecializationmustbevisiblebefore //SchemaRelationValidatorisinstantiated,sotheyareallincludedhereand //thetopologyoverloadofvalidate_schemaisdefinedhere.Includethisfile //tovalidatetopology;includingvalidator.hppaloneisnotenough. #include"serif/discretization/domain/schema/validation/boundary.hpp" #include"serif/discretization/domain/schema/validation/connected.hpp" #include"serif/discretization/domain/schema/validation/inscribed.hpp" namespaceserif::discretization::domain::schema::validation{ template<IsSchemaSchemaT> [[nodiscard]]SchemaValidationResultvalidate_schema(constmesh::MeshTopology&topology){ usingRelationsT=typenameSchemaT::relations_type; returnSchemaRelationValidator<SchemaT, RelationsT>::validate(topology); } }