40 #ifndef __GECODE_INT_ARITHMETIC_HH__
41 #define __GECODE_INT_ARITHMETIC_HH__
53 namespace Gecode {
namespace Int {
namespace Arithmetic {
251 template<
class VA,
class VB>
301 template<
class VA,
class VB>
428 template<
class View, PropCond pc>
456 template<
class Val,
class VA,
class VB,
class VC>
510 template<
class Val,
class VA,
class VB,
class VC>
576 template<
class Val,
class VA,
class VB,
class VC>