Method pid

gecode/kernel/gpi.hpp:144–147

  }

  forceinline unsigned int
  GPI::pid(void) const {
    return npid.load(std::memory_order_acquire);
  }

  forceinline bool
  GPI::unshare(void) {