Method stop

gecode/search/par/engine.hpp:171–179

  template<class Tracer>
  forceinline void
  Engine<Tracer>::stop(void) {
    m_search.acquire();
    bool bs = signal();
    has_stopped = true;
    if (bs)
      e_search.signal();
    m_search.release();
  }


  /*