serif::discretization::blocks::Term Concept Reference

Concept for term types in the discretization framework. To be a term a type must derive from term_base, must have a field_type member, and that field_type member must be a valid field. More...

#include <concepts.hpp>

Concept definition

template<typename T>
concept serif::discretization::blocks::Term =  std::derived_from<std::remove_cvref_t<T>, term_base> && 
        requires {typename std::remove_cvref_t<T>::field_type;} && 
        Field<typename std::remove_cvref_t<T>::field_type>

Detailed Description

Concept for term types in the discretization framework. To be a term a type must derive from term_base, must have a field_type member, and that field_type member must be a valid field.