Gecode::Int::Arithmetic Namespace Reference
Detailed Description
Numerical (arithmetic) propagators.
Classes | |
class | Abs |
Bounds-consistent absolute value propagator. More... | |
class | Max |
Bounds-consistent ternary maximum propagator. More... | |
class | NaryMax |
Bounds-consistent n-ary maximum propagator. More... | |
class | SquarePlus |
Bounds-consistent positive square propagator. More... | |
class | Square |
Bounds-consistent square propagator. More... | |
class | MultPlus |
Bounds-consistent positive multiplication propagator. More... | |
class | Mult |
Bounds-consistent multiplication propagator. More... | |
Functions | |
double | m (int a, int b) |
Multiply a and b as double. | |
int | f_d (int x, int y) |
Compute ![]() | |
int | c_d (int x, int y) |
Compute ![]() | |
template<class View> | |
bool | p (const View &x) |
Test whether x is postive. | |
template<class View> | |
bool | n (const View &x) |
Test whether x is negative. | |
template<class View> | |
bool | x (const View &x) |
Test whether x is neither positive nor negative. |
Function Documentation
|
Multiply a and b as double.
|
|
Compute
|
|
Compute
|
|
Test whether x is postive.
|
|
Test whether x is negative.
|
|
Test whether x is neither positive nor negative.
|