Functions |
void | Gecode::rel (Home home, BoolVar x0, IntRelType r, BoolVar x1, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for .
|
void | Gecode::rel (Home home, BoolVar x, IntRelType r, int n, IntConLevel icl=ICL_DEF) |
| Propagates .
|
void | Gecode::rel (Home home, BoolVar x0, IntRelType r, BoolVar x1, BoolVar b, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for .
|
void | Gecode::rel (Home home, BoolVar x, IntRelType r, int n, BoolVar b, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for .
|
void | Gecode::rel (Home home, const BoolVarArgs &x, IntRelType r, BoolVar y, IntConLevel icl=ICL_DEF) |
| Post doamin consistent propagator for for all .
|
void | Gecode::rel (Home home, const BoolVarArgs &x, IntRelType r, int n, IntConLevel icl=ICL_DEF) |
| Propagates for all .
|
void | Gecode::rel (Home home, const BoolVarArgs &x, IntRelType r, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for relation between elements in x.
|
void | Gecode::rel (Home home, const BoolVarArgs &x, IntRelType r, const BoolVarArgs &y, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for relation between x and y.
|
void | Gecode::rel (Home home, BoolVar x0, BoolOpType o, BoolVar x1, BoolVar x2, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for Boolean operation on x0 and x1.
|
void | Gecode::rel (Home home, BoolVar x0, BoolOpType o, BoolVar x1, int n, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for Boolean operation on x0 and x1.
|
void | Gecode::rel (Home home, BoolOpType o, const BoolVarArgs &x, BoolVar y, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for Boolean operation on x.
|
void | Gecode::rel (Home home, BoolOpType o, const BoolVarArgs &x, int n, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for Boolean operation on x.
|
void | Gecode::clause (Home home, BoolOpType o, const BoolVarArgs &x, const BoolVarArgs &y, int n, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for Boolean clause with positive variables x and negative variables y.
|
void | Gecode::clause (Home home, BoolOpType o, const BoolVarArgs &x, const BoolVarArgs &y, BoolVar z, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for Boolean clause with positive variables x and negative variables y.
|