Functions |
IntRelType | Gecode::Int::Linear::inverse (const IntRelType r) |
| Inverse the relation.
|
void | Gecode::Int::Linear::eliminate (Term< BoolView > *t, int &n, double &d) |
| Eliminate assigned views.
|
void | Gecode::Int::Linear::rewrite (IntRelType &r, double &d) |
| Rewrite non-strict relations.
|
void | Gecode::Int::Linear::post_pos_unit (Home home, Term< BoolView > *t_p, int n_p, IntRelType r, IntView y, int c) |
void | Gecode::Int::Linear::post_pos_unit (Home home, Term< BoolView > *t_p, int n_p, IntRelType r, ZeroIntView, int c) |
void | Gecode::Int::Linear::post_pos_unit (Home home, Term< BoolView > *t_p, int n_p, IntRelType r, int c, BoolView b, IntConLevel) |
void | Gecode::Int::Linear::post_neg_unit (Home home, Term< BoolView > *t_n, int n_n, IntRelType r, IntView y, int c) |
void | Gecode::Int::Linear::post_neg_unit (Home home, Term< BoolView > *t_n, int n_n, IntRelType r, ZeroIntView, int c) |
void | Gecode::Int::Linear::post_neg_unit (Home home, Term< BoolView > *t_n, int n_n, IntRelType r, int c, BoolView b, IntConLevel) |
void | Gecode::Int::Linear::post_mixed (Home home, Term< BoolView > *t_p, int n_p, Term< BoolView > *t_n, int n_n, IntRelType r, IntView y, int c) |
void | Gecode::Int::Linear::post_mixed (Home home, Term< BoolView > *t_p, int n_p, Term< BoolView > *t_n, int n_n, IntRelType r, ZeroIntView y, int c) |
template<class View > |
void | Gecode::Int::Linear::post_all (Home home, Term< BoolView > *t, int n, IntRelType r, View x, int c) |
void | Gecode::Int::Linear::post (Home home, Term< BoolView > *t, int n, IntRelType r, IntView y, int c=0, IntConLevel=ICL_DEF) |
| Post propagator for linear constraint over Booleans.
|
void | Gecode::Int::Linear::post (Home home, Term< BoolView > *t, int n, IntRelType r, int c, IntConLevel=ICL_DEF) |
| Post propagator for linear constraint over Booleans.
|
void | Gecode::Int::Linear::post (Home home, Term< BoolView > *t, int n, IntRelType r, IntView y, BoolView b, IntConLevel=ICL_DEF) |
| Post propagator for reified linear constraint over Booleans.
|
void | Gecode::Int::Linear::post (Home home, Term< BoolView > *t, int n, IntRelType r, int c, BoolView b, IntConLevel=ICL_DEF) |
| Post propagator for reified linear constraint over Booleans.
|