38 namespace Gecode {
namespace Int {
namespace Cumulative {
Exception: Value out of limits
bool overflow_mul(int n, int m)
Check whether multiplying n and m would overflow.
Post propagator for SetVar SetOpType SetVar SetRelType SetVar z
Post propagator for SetVar SetOpType SetVar y
void mul_check(long long int x, long long int y)
Throw exception if multiplication of x and y overflows.
Post propagator for SetVar x
Gecode toplevel namespace