Method ~SharedHandle

gecode/kernel/shared-object.hpp:142–145

    return o != nullptr;
  }
  forceinline
  SharedHandle::~SharedHandle(void) {
    cancel();
  }

}