Template Function ADS::enumerateOptimize

• Defined in File Paradigms.h

Function Documentation

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

the enumerative optimization: the answer of an admissible object of Z with no admissible one better( m( y ) , m( x ) ), or nothing