Function floor_div_xp

gecode/int/div.hpp:74–78

  }
  template<class IntType>
  forceinline IntType
  floor_div_xp(IntType x, IntType y) {
    assert(y >= 0);
    return (x >= 0) ? floor_div_pp(x,y) : -ceil_div_pp(-x,y);
  }

  template<class IntType>
  forceinline IntType