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