Method wait_reset

gecode/search/par/engine.hpp:252–256

  template<class Tracer>
  forceinline void
  Engine<Tracer>::wait_reset(void) {
    m_wait_reset.acquire();
    m_wait_reset.release();
  }