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

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

#include <concepts.hpp>

Concept definition

template<typename... BoundaryIDTs>
concept serif::discretization::domain::ids::validation::AreDistinctBoundaryIDs = 
        (IsBoundaryID<BoundaryIDTs> && ...) &&      
        HaveUniqueBoundaryIDs<BoundaryIDTs...> &&   
        HaveUniqueBoundaries<BoundaryIDTs...>

Detailed Description

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

Template Parameters

BoundaryIDTs

The pack of boundary ID types to check.