Method rescale

gecode/kernel/gpi.hpp:114–118

    : next(nullptr), free(n_info) {}

  forceinline void
  GPI::Block::rescale(void) {
    for (int i=free; i < n_info; i++)
      info[i].afc *= Kernel::Config::rescale;
  }


  forceinline