Function ceil_div_pp

gecode/int/div.hpp:37–46

  template<class IntType>
  forceinline IntType
  ceil_div_pp(IntType x, IntType y) {
    assert((x >= 0) && (y >= 0));
    /*
     * This is smarter than it looks: for many cpus, % and / are
     * implemented by the same instruction and an optimizing compiler
     * will generate the instruction only once.
     */
    return ((x % y) == 0) ? x/y : (x/y + 1);
  }
  template<class IntType>
  forceinline IntType
  floor_div_pp(IntType x, IntType y) {