ultra::RefinementStrategy Concept Reference

Concept definition

template<class ES, class P>
concept ultra::RefinementStrategy = 
  Strategy<ES>
  && Population<P>
  && requires(const std::remove_reference_t<ES> &strategy, P &pop)
     {
       requires Population<
         std::remove_pointer_t<decltype(strategy.refinement_subgroup(pop))>>;
 
       { strategy.refinement_subgroup(pop) } -> std::convertible_to<
         std::remove_pointer_t<decltype(strategy.refinement_subgroup(pop))> *>;
     }