(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...
|
| |