serif::discretization::domain::ids::validation::AreDistinctDomainIDs Concept Reference

Concept to check if a pack of domain IDs are distinct. This means that each ID is a valid domain ID, no two IDs have the same integer value, and no two IDs refer to the same domain type. More...

#include <concepts.hpp>

Concept definition

template<typename... DomainIDTs>
concept serif::discretization::domain::ids::validation::AreDistinctDomainIDs = 
        (IsDomainID<DomainIDTs> && ...) &&      
        HaveUniqueDomainIDs<DomainIDTs...> &&   
        HaveUniqueDomains<DomainIDTs...>

Detailed Description

Concept to check if a pack of domain IDs are distinct. This means that each ID is a valid domain ID, no two IDs have the same integer value, and no two IDs refer to the same domain type.

Template Parameters

DomainIDTs

The pack of domain ID types to check.