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

Concept to check if a pack of domain IDs have unique ID values. This is used to ensure that no two domain IDs in a list have the same ID. More...

#include <concepts.hpp>

Concept definition

template<typename... DomainIDTs>
concept serif::discretization::domain::ids::validation::HaveUniqueDomainIDs =  all_unique_values(DomainIDTs::ID...)

Detailed Description

Concept to check if a pack of domain IDs have unique ID values. This is used to ensure that no two domain IDs in a list have the same ID.

Template Parameters

DomainIDTs

The pack of domain ID types to check.