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

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

#include <concepts.hpp>

Concept definition

template<typename... DomainIDTs>
concept serif::discretization::domain::ids::validation::HaveUniqueDomains =  AllTypesAreUnique<typename DomainIDTs::domain_type...>

Detailed Description

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

Template Parameters

DomainIDTs

The pack of domain ID types to check.