eve::pattern_formula Concept Reference

what callable can be a pattern formula More...

Detailed Description

what callable can be a pattern formula

Concept definition

  template<typename F>
  concept pattern_formula = std::constructible_from<F> && std::regular_invocable<F, int, int>
    && !requires { { F::size() }; }