Method solution

gecode/search/par/dfs.hpp:105–113

   */
  template<class Tracer>
  forceinline void
  DFS<Tracer>::solution(Space* s) {
    m_search.acquire();
    bool bs = signal();
    solutions.push(s);
    if (bs)
      e_search.signal();
    m_search.release();
  }