Method operator ++

gecode/iter/ranges-singleton-append.hpp:76–84

  template<class J>
  inline void
  SingletonAppend<J>::operator ++(void) {
    if (j()) {
      mi = j.min();  ma = j.max();
      ++j;
    } else {
      finish();
    }
  }


  template<class J>