Method acquireGlobalMutex

gecode/support/thread/thread.cpp:148–151

  }

  void
  Thread::acquireGlobalMutex(Mutex* m) {
    globalMutexRunnable().acquire(m);
  }

  void
  Thread::releaseGlobalMutex(Mutex* m) {