Template Function ADS::enumerateSearch

Function Documentation

template<class Z, class Next, class Last, class A, class O>
auto ADS::enumerateSearch(Z z, Next &&next, Last &&last, A &&a, O &&o) -> std::optional<decltype(o(z))>

the enumerative search: z = first, the answer o( z ) of the first z with a( z ), next( z ) after z until last( z ) holds; nothing if none