|
void | Gecode::atmost (Home home, const IntVarArgs &x, int n, int m, IntPropLevel ipl=IPL_DEF) |
| Post constraint .
|
|
void | Gecode::atmost (Home home, const IntVarArgs &x, IntVar y, int m, IntPropLevel ipl=IPL_DEF) |
| Post constraint .
|
|
void | Gecode::atmost (Home home, const IntVarArgs &x, const IntArgs &y, int m, IntPropLevel ipl=IPL_DEF) |
| Post constraint .
|
|
void | Gecode::atmost (Home home, const IntVarArgs &x, int n, IntVar z, IntPropLevel ipl=IPL_DEF) |
| Post constraint .
|
|
void | Gecode::atmost (Home home, const IntVarArgs &x, IntVar y, IntVar z, IntPropLevel ipl=IPL_DEF) |
| Post constraint .
|
|
void | Gecode::atmost (Home home, const IntVarArgs &x, const IntArgs &y, IntVar z, IntPropLevel ipl=IPL_DEF) |
| Post constraint .
|
|
void | Gecode::atleast (Home home, const IntVarArgs &x, int n, int m, IntPropLevel ipl=IPL_DEF) |
| Post constraint .
|
|
void | Gecode::atleast (Home home, const IntVarArgs &x, IntVar y, int m, IntPropLevel ipl=IPL_DEF) |
| Post constraint .
|
|
void | Gecode::atleast (Home home, const IntVarArgs &x, const IntArgs &y, int m, IntPropLevel ipl=IPL_DEF) |
| Post constraint .
|
|
void | Gecode::atleast (Home home, const IntVarArgs &x, int n, IntVar z, IntPropLevel ipl=IPL_DEF) |
| Post constraint .
|
|
void | Gecode::atleast (Home home, const IntVarArgs &x, IntVar y, IntVar z, IntPropLevel ipl=IPL_DEF) |
| Post constraint .
|
|
void | Gecode::atleast (Home home, const IntVarArgs &x, const IntArgs &y, IntVar z, IntPropLevel ipl=IPL_DEF) |
| Post constraint .
|
|
void | Gecode::exactly (Home home, const IntVarArgs &x, int n, int m, IntPropLevel ipl=IPL_DEF) |
| Post constraint .
|
|
void | Gecode::exactly (Home home, const IntVarArgs &x, IntVar y, int m, IntPropLevel ipl=IPL_DEF) |
| Post constraint .
|
|
void | Gecode::exactly (Home home, const IntVarArgs &x, const IntArgs &y, int m, IntPropLevel ipl=IPL_DEF) |
| Post constraint .
|
|
void | Gecode::exactly (Home home, const IntVarArgs &x, int n, IntVar z, IntPropLevel ipl=IPL_DEF) |
| Post constraint .
|
|
void | Gecode::exactly (Home home, const IntVarArgs &x, IntVar y, IntVar z, IntPropLevel ipl=IPL_DEF) |
| Post constraint .
|
|
void | Gecode::exactly (Home home, const IntVarArgs &x, const IntArgs &y, IntVar z, IntPropLevel ipl=IPL_DEF) |
| Post constraint .
|
|
void | Gecode::lex (Home home, const IntVarArgs &x, IntRelType r, const IntVarArgs &y, IntPropLevel ipl=IPL_DEF) |
| Post lexical order between x and y.
|
|
void | Gecode::lex (Home home, const BoolVarArgs &x, IntRelType r, const BoolVarArgs &y, IntPropLevel ipl=IPL_DEF) |
| Post lexical order between x and y.
|
|
void | Gecode::values (Home home, const IntVarArgs &x, IntSet y, IntPropLevel ipl=IPL_DEF) |
| Post constraint .
|
|
void | Gecode::channel (Home home, const IntVarArgs &x, SetVar y) |
| Post constraint .
|
|
void | Gecode::range (Home home, const IntVarArgs &x, SetVar y, SetVar z) |
| Post constraint .
|
|
void | Gecode::roots (Home home, const IntVarArgs &x, SetVar y, SetVar z) |
| Post constraint .
|
|