serif::discretization::domain::relation::validation::HaveValidRelationEntities Concept Reference

Concept to validate that a set of domain IDs, boundary IDs, and relations are valid. This concept checks if the relations use registered entities based on the provided domain and boundary IDs. More...

#include <concepts.hpp>

Concept definition

template<typename DomainIDsT, typename BoundaryIDsT, typename RelationsT>
concept serif::discretization::domain::relation::validation::HaveValidRelationEntities =  RelationsUseRegisteredEntities<DomainIDsT, BoundaryIDsT, RelationsT>::value

Detailed Description

Concept to validate that a set of domain IDs, boundary IDs, and relations are valid. This concept checks if the relations use registered entities based on the provided domain and boundary IDs.

Template Parameters

DomainIDsT	The type representing the domain IDs.
BoundaryIDsT	The type representing the boundary IDs.
RelationsT	The type representing the relations.