Template Function ADS::enumerateSearch
Defined in File Paradigms.h
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