.TH "serif::discretization::forms::IsOperand" 3 "Version v0.0.1a" "SERiF" \" -*- nroff -*-
.ad l
.nh
.SH NAME
serif::discretization::forms::IsOperand \- Concept to validate a valid operand\&. An operand is valid if the following conditions are satisfied\&.  

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

.nf
template<typename OperandCandidate>
concept serif::discretization::forms::IsOperand =  requires { 
            typename std::remove_cvref_t<OperandCandidate>::term_type;
            typename std::remove_cvref_t<OperandCandidate>::operation_type; } &&
        blocks::Term<typename std::remove_cvref_t<OperandCandidate>::term_type> && 
        IsOperation<typename std::remove_cvref_t<OperandCandidate>::operation_type>
.PP
.fi
.SH "Detailed Description"
.PP 
Concept to validate a valid operand\&. An operand is valid if the following conditions are satisfied\&. 


.IP "\(bu" 2
it has a member term_type
.IP "\(bu" 2
it has a member operation_type
.IP "\(bu" 2
term_type satisfies the \fBTerm\fP concept (e\&.g\&. is a valid term)
.IP "\(bu" 2
operation_type satisfies the \fBIsOperation\fP concept (e\&.\&.g is a valid operation) 
.PP

.SH "Author"
.PP 
Generated automatically by Doxygen for SERiF from the source code\&.