Method acquire

gecode/kernel/branch/action.hpp:333–336

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