Method run

gecode/support/thread/thread.hpp:171–175

#endif
  }
  inline void
  Thread::Run::run(Runnable* r0) {
    r.store(r0);
    e.signal();
  }
  inline void
  Thread::run(Runnable* r) {
    m()->acquire();