|
void | Gecode::Int::Linear::eliminate (Term< IntView > *t, int &n, long long int &d) |
| Eliminate assigned views. More...
|
|
void | Gecode::Int::Linear::rewrite (IntRelType &irt, long long int &d, Term< IntView > *&t_p, int &n_p, Term< IntView > *&t_n, int &n_n) |
| Rewrite all inequations in terms of IRT_LQ. More...
|
|
bool | Gecode::Int::Linear::precision (Term< IntView > *t_p, int n_p, Term< IntView > *t_n, int n_n, long long int d) |
| Decide the required precision and check for overflow. More...
|
|
template<class Val , class View > |
void | Gecode::Int::Linear::post_nary (Home home, ViewArray< View > &x, ViewArray< View > &y, IntRelType irt, Val c) |
| Posting n-ary propagators. More...
|
|
void | Gecode::Int::Linear::post (Home home, Term< IntView > *t, int n, IntRelType irt, int c, IntConLevel=ICL_DEF) |
| Post propagator for linear constraint over integers. More...
|
|
template<class Val , class View > |
void | Gecode::Int::Linear::post_nary (Home home, ViewArray< View > &x, ViewArray< View > &y, IntRelType irt, Val c, Reify r) |
| Posting reified n-ary propagators. More...
|
|
template<class CtrlView > |
void | Gecode::Int::Linear::posteqint (Home home, IntView &x, int c, CtrlView b, ReifyMode rm, IntConLevel icl) |
|
void | Gecode::Int::Linear::post (Home home, Term< IntView > *t, int n, IntRelType irt, int c, Reify r, IntConLevel=ICL_DEF) |
| Post reified propagator for linear constraint. More...
|
|