.TH "serif::discretization::blocks::HasFunctionalSpace" 3 "Version v0.0.1a" "SERiF" \" -*- nroff -*-
.ad l
.nh
.SH NAME
serif::discretization::blocks::HasFunctionalSpace \- Concept for term types that have a functional space\&. To have a functional space a type must first be a valid \fBTerm\fP and must have a FunctionalSpace member type\&.  

.SH SYNOPSIS
.br
.PP
.PP
\fR#include <concepts\&.hpp>\fP
.SH "Concept definition"
.PP 

.nf
template<typename T>
concept serif::discretization::blocks::HasFunctionalSpace = 
        Term<T> &&
        requires {
        typename std::remove_cvref_t<T>::FunctionalSpace;
        }
.PP
.fi
.SH "Detailed Description"
.PP 
Concept for term types that have a functional space\&. To have a functional space a type must first be a valid \fBTerm\fP and must have a FunctionalSpace member type\&. 
.SH "Author"
.PP 
Generated automatically by Doxygen for SERiF from the source code\&.