#include </home/runner/work/MFrontGenericInterfaceSupport/MFrontGenericInterfaceSupport/include/MGIS/Function/EvaluatorModifierConcept.hxx>

Concept definition

template<typename EvaluatorModifierType>
concept mgis::function::EvaluatorModifierConcept = 
      std::same_as<typename EvaluatorModifierType::Tag, EvaluatorModifierTag>

Detailed Description

As explained in the description of the EvaluatorModifierTag, the following definition of the EvaluatorModifierConcept concept is ill-formed:

template<typename EvaluatorModifierType>
concept EvaluatorModifierConcept = requires(const EvaluatorConcept auto& e,
                                            const EvaluatorModifierType& m)
{ { m(e) } -> EvaluatorConcept;
 });

When exposing an alias named Tag to be equal to the EvaluatorTag, a class explictly states that it has a call operator able to transform any evaluator to a new evaluator.