Function floor_div_xx

gecode/int/div.hpp:86–89

  }
  template<class IntType>
  forceinline IntType
  floor_div_xx(IntType x, IntType y) {
    return (x >= 0) ? floor_div_px(x,y) : -ceil_div_px(-x,y);
  }

}}