Method stopped

gecode/search/seq/pbs.hpp:63–66

    return slave->statistics();
  }
  forceinline bool
  Slave::stopped(void) const {
    return slave->stopped();
  }
  forceinline void
  Slave::constrain(const Space& b) {
    slave->constrain(b);