div.hpp
Go to the documentation of this file.00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028
00029
00030
00031
00032
00033
00034
00035
00036
00037
00038 namespace Gecode { namespace Int {
00039
00040 template<class IntType>
00041 forceinline IntType
00042 ceil_div_pp(IntType x, IntType y) {
00043 assert((x >= 0) && (y >= 0));
00044
00045
00046
00047
00048
00049 return ((x % y) == 0) ? x/y : (x/y + 1);
00050 }
00051 template<class IntType>
00052 forceinline IntType
00053 floor_div_pp(IntType x, IntType y) {
00054 assert((x >= 0) && (y >= 0));
00055 return x / y;
00056 }
00057
00058 template<class IntType>
00059 forceinline IntType
00060 ceil_div_px(IntType x, IntType y) {
00061 assert(x >= 0);
00062 return (y >= 0) ? ceil_div_pp(x,y) : -floor_div_pp(x,-y);
00063 }
00064 template<class IntType>
00065 forceinline IntType
00066 floor_div_px(IntType x, IntType y) {
00067 assert(x >= 0);
00068 return (y >= 0) ? floor_div_pp(x,y) : -ceil_div_pp(x,-y);
00069 }
00070
00071 template<class IntType>
00072 forceinline IntType
00073 ceil_div_xp(IntType x, IntType y) {
00074 assert(y >= 0);
00075 return (x >= 0) ? ceil_div_pp(x,y) : -floor_div_pp(-x,y);
00076 }
00077 template<class IntType>
00078 forceinline IntType
00079 floor_div_xp(IntType x, IntType y) {
00080 assert(y >= 0);
00081 return (x >= 0) ? floor_div_pp(x,y) : -ceil_div_pp(-x,y);
00082 }
00083
00084 template<class IntType>
00085 forceinline IntType
00086 ceil_div_xx(IntType x, IntType y) {
00087 return (x >= 0) ? ceil_div_px(x,y) : -floor_div_px(-x,y);
00088 }
00089 template<class IntType>
00090 forceinline IntType
00091 floor_div_xx(IntType x, IntType y) {
00092 return (x >= 0) ? floor_div_px(x,y) : -ceil_div_px(-x,y);
00093 }
00094
00095 }}
00096
00097
00098