mgis::function::FunctionConcept Concept Reference

a concept that must satisfy a function More...

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

Concept definition

template<typename FunctionType>
concept mgis::function::FunctionConcept = 
      (SpaceConcept<
          std::decay_t<decltype(getSpace(std::declval<FunctionType>()))>>)&&  
      (requires(const FunctionType& e) {
        { getNumberOfComponents(e) } -> std::same_as<mgis::size_type>;
      }) &&
      ((internals::FunctionResultQuery<FunctionType>::b1) ||
       (internals::FunctionResultQuery<FunctionType>::b2) ||
       (internals::FunctionResultQuery<FunctionType>::b3) ||
       (internals::FunctionResultQuery<FunctionType>::b4)) &&
      (internals::FunctionResultQuery<FunctionType>::b1
           ? std::same_as<typename internals::FunctionResultQuery<
                              FunctionType>::result_type1,
                          typename internals::FunctionResultQuery<
                              FunctionType>::result_type>
           : true) &&
      (internals::FunctionResultQuery<FunctionType>::b2
           ? std::same_as<typename internals::FunctionResultQuery<
                              FunctionType>::result_type2,
                          typename internals::FunctionResultQuery<
                              FunctionType>::result_type>
           : true) &&
      (internals::FunctionResultQuery<FunctionType>::b3
           ? std::same_as<typename internals::FunctionResultQuery<
                              FunctionType>::result_type3,
                          typename internals::FunctionResultQuery<
                              FunctionType>::result_type>
           : true) &&
      (internals::FunctionResultQuery<FunctionType>::b4
           ? std::same_as<typename internals::FunctionResultQuery<
                              FunctionType>::result_type4,
                          typename internals::FunctionResultQuery<
                              FunctionType>::result_type>
           : true) &&
      (internals::FunctionResultQuery<FunctionType>::b1
           ? std::same_as<typename internals::FunctionResultQuery<
                              FunctionType>::const_result_type1,
                          typename internals::FunctionResultQuery<
                              FunctionType>::const_result_type>
           : true) &&
      (internals::FunctionResultQuery<FunctionType>::b2
           ? std::same_as<typename internals::FunctionResultQuery<
                              FunctionType>::const_result_type2,
                          typename internals::FunctionResultQuery<
                              FunctionType>::const_result_type>
           : true) &&
      (internals::FunctionResultQuery<FunctionType>::b3
           ? std::same_as<typename internals::FunctionResultQuery<
                              FunctionType>::const_result_type3,
                          typename internals::FunctionResultQuery<
                              FunctionType>::const_result_type>
           : true) &&
      (internals::FunctionResultQuery<FunctionType>::b4
           ? std::same_as<typename internals::FunctionResultQuery<
                              FunctionType>::const_result_type4,
                          typename internals::FunctionResultQuery<
                              FunctionType>::const_result_type>
           : true) &&
      (internals::FunctionResultTypeTraits<
          typename internals::FunctionResultQuery<FunctionType>::result_type>::
           is_specialized) &&
      ((LightweightViewConcept<FunctionType>) || (requires(FunctionType & f) {
         { view(f) } -> LightweightViewConcept;
       }))

Detailed Description

a concept that must satisfy a function