Go to the source code of this file.
Functions | |
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. More... | |
void | Gecode::lex (Home home, const BoolVarArgs &x, IntRelType r, const BoolVarArgs &y, IntPropLevel ipl=IPL_DEF) |
Post lexical order between x and y. More... | |
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 ![]() | |
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 39 of file aliases.hpp.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 44 of file aliases.hpp.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Throws an exception of type Int::ArgumentSizeMismatch, if x and y are of different size.
Definition at line 49 of file aliases.hpp.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 54 of file aliases.hpp.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 59 of file aliases.hpp.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Throws an exception of type Int::ArgumentSizeMismatch, if x and y are of different size.
Definition at line 64 of file aliases.hpp.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 70 of file aliases.hpp.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 75 of file aliases.hpp.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Throws an exception of type Int::ArgumentSizeMismatch, if x and y are of different size.
Definition at line 80 of file aliases.hpp.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 85 of file aliases.hpp.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 90 of file aliases.hpp.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Throws an exception of type Int::ArgumentSizeMismatch, if x and y are of different size.
Definition at line 95 of file aliases.hpp.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 101 of file aliases.hpp.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 106 of file aliases.hpp.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Throws an exception of type Int::ArgumentSizeMismatch, if x and y are of different size.
Definition at line 111 of file aliases.hpp.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 116 of file aliases.hpp.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 121 of file aliases.hpp.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Throws an exception of type Int::ArgumentSizeMismatch, if x and y are of different size.
Definition at line 126 of file aliases.hpp.
|
inline |
Post lexical order between x and y.
Definition at line 132 of file aliases.hpp.
|
inline |
Post lexical order between x and y.
Definition at line 137 of file aliases.hpp.
|
inline |
Post constraint .
Definition at line 143 of file aliases.hpp.
|
inline |
Post constraint .
In addition to constraining y to the union of the x, this also posts an nvalue constraint for additional cardinality propagation.
Definition at line 152 of file aliases.hpp.
|
inline |
Post constraint .
Definition at line 158 of file aliases.hpp.
|
inline |
Post constraint .
Note that this creates one temporary set variable for each element in the upper bound of z, so make sure that the bound is tight.
Definition at line 163 of file aliases.hpp.