serif::discretization::domain::DomainIsIdentifiedBy Concept Reference

A concept to determine if a Domain type is identified by a DomainID type. A Domain type is identified by a DomainID type if the DomainID's domain_type is the same as the Domain type. More...

#include <concepts.hpp>

Concept definition

template<typename DomainT, typename DomainIDT>
concept serif::discretization::domain::DomainIsIdentifiedBy =  utils::misc::std_helper::SameType<DomainT, typename DomainIDT::domain_type>

Detailed Description

A concept to determine if a Domain type is identified by a DomainID type. A Domain type is identified by a DomainID type if the DomainID's domain_type is the same as the Domain type.

Template Parameters

DomainT	The Domain type to check.
DomainIDT	The DomainID type to check.