Method operator ++

gecode/iter/ranges-values.hpp:116–125

  template<class I>
  forceinline void
  ToValues<I>::operator ++(void) {
    ++cur;
    if (cur > max) {
      ++i;
      if (i()) {
        cur = i.min(); max = i.max();
      }
    }
  }

  template<class I>
  forceinline int