38 #ifndef __GECODE_INT_DIV_HH__
39 #define __GECODE_INT_DIV_HH__
43 namespace Gecode {
namespace Int {
46 template<
class IntType>
49 template<
class IntType>
52 template<
class IntType>
55 template<
class IntType>
58 template<
class IntType>
61 template<
class IntType>
64 template<
class IntType>
67 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 .
Node * x
Pointer to corresponding Boolean expression node.
IntType floor_div_px(IntType x, IntType y)
Compute where x is non-negative.
Gecode toplevel namespace
IntType
Description of integer types.