Method acquire

gecode/kernel/branch/chb.hpp:328–331

    return object().n;
  }
  forceinline void
  CHB::acquire(void) {
    object().m.acquire();
  }
  forceinline void
  CHB::release(void) {
    object().m.release();