Functions |
template<class Val > |
Val | Gecode::Int::Arithmetic::m (int x, int y) |
| Multiply x and y as type Val.
|
template<class Val > |
Val | Gecode::Int::Arithmetic::m (int x, double y) |
| Multiply x and y as type Val.
|
template<> |
double | Gecode::Int::Arithmetic::m (int x, int y) |
| Multiply x and y as type Val.
|
template<> |
double | Gecode::Int::Arithmetic::m (int x, double y) |
| Multiply x and y as type Val.
|
template<class Val > |
int | Gecode::Int::Arithmetic::c_d_p (int x, Val y) |
| Compute where x and y are non-negative.
|
template<class Val > |
int | Gecode::Int::Arithmetic::f_d_p (int x, Val y) |
| Compute where x and y are non-negative.
|
template<> |
int | Gecode::Int::Arithmetic::c_d_p< int > (int x, int y) |
template<> |
int | Gecode::Int::Arithmetic::c_d_p< double > (int x, double y) |
template<> |
int | Gecode::Int::Arithmetic::f_d_p< int > (int x, int y) |
template<> |
int | Gecode::Int::Arithmetic::f_d_p< double > (int x, double y) |
int | Gecode::Int::Arithmetic::f_d (int x, int y) |
| Compute .
|
int | Gecode::Int::Arithmetic::c_d (int x, int y) |
| Compute .
|
template<class View > |
bool | Gecode::Int::Arithmetic::pos (const View &x) |
| Test whether x is postive.
|
template<class View > |
bool | Gecode::Int::Arithmetic::neg (const View &x) |
| Test whether x is negative.
|
template<class View > |
bool | Gecode::Int::Arithmetic::any (const View &x) |
| Test whether x is neither positive nor negative.
|
template<class Val , class VA , class VB , class VC > |
ExecStatus | Gecode::Int::Arithmetic::prop_mult_plus_bnd (Space &home, Propagator &p, VA x0, VB x1, VC x2) |
template<class Val , class View > |
ExecStatus | Gecode::Int::Arithmetic::prop_mult_dom (Space &home, Propagator &p, View x0, View x1, View x2) |