Method statistics

gecode/search/par/engine.hpp:133–139

   */
  template<class Tracer>
  forceinline Statistics
  Engine<Tracer>::Worker::statistics(void) {
    m.acquire();
    Statistics s = *this;
    m.release();
    return s;
  }


  /*