Method statistics

gecode/search/seq/pbs.hpp:59–62

    return slave->next();
  }
  forceinline Statistics
  Slave::statistics(void) const {
    return slave->statistics();
  }
  forceinline bool
  Slave::stopped(void) const {
    return slave->stopped();