Method next

gecode/search/seq/pbs.hpp:55–58

    slave = e; stop = s;
  }
  forceinline Space*
  Slave::next(void) {
    return slave->next();
  }
  forceinline Statistics
  Slave::statistics(void) const {
    return slave->statistics();