38 namespace Gecode {
namespace Int {
40 template<
class IntType>
43 assert((
x >= 0) && (
y >= 0));
49 return ((
x %
y) == 0) ?
x/
y : (
x/
y + 1);
51 template<
class IntType>
54 assert((
x >= 0) && (
y >= 0));
58 template<
class IntType>
64 template<
class IntType>
71 template<
class IntType>
77 template<
class IntType>
84 template<
class IntType>
89 template<
class IntType>
IntType ceil_div_pp(IntType x, IntType y)
Compute where x and y are non-negative.
IntType floor_div_xx(IntType x, IntType y)
Compute .
IntType floor_div_pp(IntType x, IntType y)
Compute where x and y are non-negative.
IntType ceil_div_px(IntType x, IntType y)
Compute where x is non-negative.
IntType floor_div_xp(IntType x, IntType y)
Compute where y is non-negative.
IntType ceil_div_xp(IntType x, IntType y)
Compute where y is non-negative.
IntType ceil_div_xx(IntType x, IntType y)
Compute .
Post propagator for SetVar SetOpType SetVar y
IntType floor_div_px(IntType x, IntType y)
Compute where x is non-negative.
Post propagator for SetVar x
Gecode toplevel namespace
IntType
Description of integer types.