Method releaseGlobalMutex

gecode/support/thread/thread.cpp:153–156

  }

  void
  Thread::releaseGlobalMutex(Mutex* m) {
    globalMutexRunnable().release(m);
  }

}}