mgis::function::EvaluatorConcept Concept Reference

a concept that must satisfy an evaluator More...

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

Concept definition

template<typename EvaluatorType>
concept mgis::function::EvaluatorConcept =  std::is_move_constructible_v<EvaluatorType> &&
      std::is_copy_constructible_v<EvaluatorType> && SpaceConcept<
          std::decay_t<decltype(getSpace(std::declval<EvaluatorType>()))>> &&
      requires(const EvaluatorType& e) {
    { getNumberOfComponents(e) } -> std::same_as<mgis::size_type>;
  } && requires(const EvaluatorType& e, AbstractErrorHandler& eh) {
    { check(eh, e) } -> std::same_as<bool>;
  } &&((internals::EvaluatorResultQuery<EvaluatorType>::b1) ||
       (internals::EvaluatorResultQuery<EvaluatorType>::b2) ||
       (internals::EvaluatorResultQuery<EvaluatorType>::b3) ||
       (internals::EvaluatorResultQuery<EvaluatorType>::b4)) &&
      (internals::EvaluatorResultQuery<EvaluatorType>::b1
           ? std::same_as<
                 typename internals::EvaluatorResultQuery<
                     EvaluatorType>::ResultType1,
                 typename internals::EvaluatorResultQuery<EvaluatorType>::type>
           : true) &&
      (internals::EvaluatorResultQuery<EvaluatorType>::b2
           ? std::same_as<
                 typename internals::EvaluatorResultQuery<
                     EvaluatorType>::ResultType2,
                 typename internals::EvaluatorResultQuery<EvaluatorType>::type>
           : true) &&
      (internals::EvaluatorResultQuery<EvaluatorType>::b3
           ? std::same_as<
                 typename internals::EvaluatorResultQuery<
                     EvaluatorType>::ResultType3,
                 typename internals::EvaluatorResultQuery<EvaluatorType>::type>
           : true) &&
      (internals::EvaluatorResultQuery<EvaluatorType>::b4
           ? std::same_as<
                 typename internals::EvaluatorResultQuery<
                     EvaluatorType>::ResultType4,
                 typename internals::EvaluatorResultQuery<EvaluatorType>::type>
           : true)

Detailed Description

a concept that must satisfy an evaluator