serif::discretization::blocks::HasFunctionalSpace Concept Reference

Concept for term types that have a functional space. To have a functional space a type must first be a valid Term and must have a FunctionalSpace member type. More...

#include <concepts.hpp>

Concept definition

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

Detailed Description

Concept for term types that have a functional space. To have a functional space a type must first be a valid Term and must have a FunctionalSpace member type.