validation.hpp File Reference

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. More...

#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"

Include dependency graph for validation.hpp:

This graph shows which files directly or indirectly include this file:

Classes
struct	serif::discretization::domain::relation::validation::RelationUsesRegisteredEntities< FullyConnected< DomainT >, DomainIDsT, BoundaryIDsT >
	Compile-time validation to check if a relation uses registered entities based on provided domain and boundary IDs. This specialization is for the Relation type FullyConnected. Fully connected only requires a single domain so we only enforce that the domain is registered. More...
struct	serif::discretization::domain::relation::validation::RelationUsesRegisteredEntities< Inscribed< InnerDomainT, OuterDomainT >, DomainIDsT, BoundaryIDsT >
	Compile-time validation to check if a relation uses registered entities based on provided domain and boundary IDs. This specialization is for the Relation type Inscribed. Inscribed requires two domains, an inner and an outer domain, and we enforce that both domains are registered. More...
struct	serif::discretization::domain::relation::validation::RelationUsesRegisteredEntities< DomainBoundary< BoundaryT, DomainTs... >, DomainIDsT, BoundaryIDsT >
	Compile-time validation to check if a relation uses registered entities based on provided domain and boundary IDs. This specialization is for the Relation type DomainBoundary. DomainBoundary requires a boundary and one or more domains, and we enforce that the boundary and all domains are registered. More...
struct	serif::discretization::domain::relation::validation::RelationsUseRegisteredEntities< DomainIDsT, BoundaryIDsT, lists::RelationList< RelationTs... > >
	Compile time type to check if a list of relations uses the registered entities. This specialization is for the RelationList type, which is a variadic template that takes a list of relation types as template parameters. It checks if all relations in the list use registered entities based on the provided domain and boundary IDs. This will distribute to the various specializations of the singular RelationUsesRegisteredEntities struct while folding at compile time. More...

Namespaces
namespace	serif
namespace	serif::discretization
namespace	serif::discretization::domain
namespace	serif::discretization::domain::relation
namespace	serif::discretization::domain::relation::validation

Detailed Description

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.

Author

Emily M. Boudreaux

Note

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.