Concept for term types that have a domain over which they are supported. To have support a type must first be a valid Term and must have a Support member type. More...

#include <concepts.hpp>

Concept definition

template<typename T>
concept serif::discretization::blocks::HasSupport = 
        Term<T> &&
        requires {
        typename std::remove_cvref_t<T>::Support;
        }

Detailed Description

Concept for term types that have a domain over which they are supported. To have support a type must first be a valid Term and must have a Support member type.