Method release

gecode/kernel/branch/chb.hpp:332–335

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