Method ~PBS

gecode/search/seq/pbs.hpp:163–168

  template<bool best>
  PBS<best>::~PBS(void) {
    for (unsigned int i=0U; i<n_slaves; i++)
      slaves[i].~Slave();
    // Note that n_slaves might be different now!
    heap.rfree(slaves);
  }

}}}