34#ifndef __GECODE_INT_DIV_HH__
35#define __GECODE_INT_DIV_HH__
39namespace Gecode {
namespace Int {
42 template<
class IntType>
45 template<
class IntType>
48 template<
class IntType>
51 template<
class IntType>
54 template<
class IntType>
57 template<
class IntType>
60 template<
class IntType>
63 template<
class IntType>
IntType ceil_div_pp(IntType x, IntType y)
Compute where x and y are non-negative.
IntType ceil_div_xp(IntType x, IntType y)
Compute where y is non-negative.
IntType floor_div_xp(IntType x, IntType y)
Compute where y is non-negative.
IntType floor_div_xx(IntType x, IntType y)
Compute .
IntType ceil_div_px(IntType x, IntType y)
Compute where x is non-negative.
IntType floor_div_pp(IntType x, IntType y)
Compute where x and y are non-negative.
IntType ceil_div_xx(IntType x, IntType y)
Compute .
IntType floor_div_px(IntType x, IntType y)
Compute where x is non-negative.
IntType
Description of integer types.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar y
Post propagator for SetVar x