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

#include <validation.hpp>

Inheritance diagram for serif::discretization::domain::relation::validation::RelationUsesRegisteredEntities< DomainBoundary< BoundaryT, DomainTs... >, DomainIDsT, BoundaryIDsT >:

[legend]

Collaboration diagram for serif::discretization::domain::relation::validation::RelationUsesRegisteredEntities< DomainBoundary< BoundaryT, DomainTs... >, DomainIDsT, BoundaryIDsT >:

[legend]

Detailed Description

template<IsBoundary BoundaryT, IsDomainOrSet... DomainTs, IsDomainIDList DomainIDsT, IsBoundaryIDList BoundaryIDsT>
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.

Note: Since DomainBoundary is a variadic template, we use a fold expression to check that all domains are registered.

Template Parameters

BoundaryT	The type representing the boundary.
DomainTs	The types representing the domains.
DomainIDsT	The type representing the domain IDs.
BoundaryIDsT	The type representing the boundary IDs.

The documentation for this struct was generated from the following file:

src/include/serif/discretization/domain/relation/validation/validation.hpp