(Revision: 13292)
#include <algorithm>
#include <climits>
Go to the source code of this file.
|
template<class View > |
void | Gecode::Int::Linear::estimate (Term< View > *t, int n, int c, int &l, int &u) |
| Estimate lower and upper bounds. More...
|
|
int | Gecode::Int::Linear::gcd (int a, int b) |
| Compute the greatest common divisor of a and b. More...
|
|
template<class View > |
bool | Gecode::Int::Linear::normalize (Term< View > *t, int &n, Term< View > *&t_p, int &n_p, Term< View > *&t_n, int &n_n, int &g) |
| Normalize linear integer constraints. More...
|
|