#include <algorithm>
#include <gecode/int/rel.hh>
#include <gecode/int/linear.hh>
#include <gecode/int/div.hh>
Go to the source code of this file.
Namespaces | |
Gecode | |
Gecode toplevel namespace | |
Gecode::Int | |
Finite domain integers. | |
Gecode::Int::Linear | |
Linear propagators | |
Macros | |
#define | GECODE_INT_PL_BIN(CLASS) |
Macro for posting binary special cases for linear constraints. More... | |
#define | GECODE_INT_PL_TER(CLASS) |
Macro for posting ternary special cases for linear constraints. More... | |
Functions | |
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... | |
#define GECODE_INT_PL_BIN | ( | CLASS | ) |
Macro for posting binary special cases for linear constraints.
Definition at line 180 of file int-post.cpp.
#define GECODE_INT_PL_TER | ( | CLASS | ) |
Macro for posting ternary special cases for linear constraints.
Definition at line 198 of file int-post.cpp.