Go to the source code of this file.
Namespaces | |
Gecode | |
Gecode toplevel namespace | |
Gecode::Int | |
Finite domain integers. | |
Functions | |
int | Gecode::Int::plus (int x, int y) |
Safe addition in case x is -IntLimits::infinity. More... | |
long long int | Gecode::Int::plus (long long int x, long long int y) |
Safe addition in case x is -IntLimits::llinfinity. More... | |