Concept for term types that have a residual block associated with them. To have a residual block a type must first be a valid Term and must have a residual member type. More...

#include <concepts.hpp>

Concept definition

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

Detailed Description

Concept for term types that have a residual block associated with them. To have a residual block a type must first be a valid Term and must have a residual member type.