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

#include <validation.hpp>

Inheritance diagram for serif::discretization::domain::relation::validation::RelationUsesRegisteredEntities< Inscribed< InnerDomainT, OuterDomainT >, DomainIDsT, BoundaryIDsT >:

[legend]

Collaboration diagram for serif::discretization::domain::relation::validation::RelationUsesRegisteredEntities< Inscribed< InnerDomainT, OuterDomainT >, DomainIDsT, BoundaryIDsT >:

[legend]

Detailed Description

template<IsDomainOrSet InnerDomainT, IsDomainOrSet OuterDomainT, IsDomainIDList DomainIDsT, IsBoundaryIDList BoundaryIDsT>
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.

Template Parameters

InnerDomainT	The type representing the inner domain.
OuterDomainT	The type representing the outer domain.
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