34 namespace Gecode {
namespace Int {
namespace Cumulative {
43 mul_check(
long long int x,
long long int y,
long long int z) {
Node * x
Pointer to corresponding Boolean expression node.
Exception: Value out of limits
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.
bool overflow_mul(int n, int m)
Check whether multiplying n and m would overflow.