38 namespace Gecode {
namespace Int {
namespace Cumulative {
47 mul_check(
long long int x,
long long int y,
long long int z) {
Exception: Value out of limits
bool overflow_mul(int n, int m)
Check whether multiplying n and m would overflow.
Node * x
Pointer to corresponding Boolean expression node.
void mul_check(long long int x, long long int y)
Throw exception if multiplication of x and y overflows.
Gecode toplevel namespace