Method constrain

gecode/search/seq/pbs.hpp:67–70

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