serif::discretization::forms::IsOperand Concept Reference

Concept to validate a valid operand. An operand is valid if the following conditions are satisfied. More...

#include <operands.hpp>

Concept definition

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>

Detailed Description

Concept to validate a valid operand. An operand is valid if the following conditions are satisfied.

• it has a member term_type
• it has a member operation_type
• term_type satisfies the Term concept (e.g. is a valid term)
• operation_type satisfies the IsOperation concept (e..g is a valid operation)