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

#include <validation.hpp>

Inheritance diagram for serif::discretization::domain::relation::validation::RelationsUseRegisteredEntities< DomainIDsT, BoundaryIDsT, lists::RelationList< RelationTs... > >:

[legend]

Collaboration diagram for serif::discretization::domain::relation::validation::RelationsUseRegisteredEntities< DomainIDsT, BoundaryIDsT, lists::RelationList< RelationTs... > >:

[legend]

Detailed Description

template<IsDomainIDList DomainIDsT, IsBoundaryIDList BoundaryIDsT, IsRelation... RelationTs>
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.

Template Parameters

DomainIDsT	The type representing the domain IDs.
BoundaryIDsT	The type representing the boundary IDs.
RelationTs	The types of relations in the relation list.

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

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