Function cmb_hash

gecode/support/hash.hpp:43–47

  template<class T>
  forceinline void
  cmb_hash(std::size_t& seed, const T h) {
    seed ^= static_cast<std::size_t>(h) 
      + 0x9e3779b9 + (seed << 6) + (seed >> 2);
  }

}