50 for (
int i=0; i<s.
size(); i++)
55 for (
int i=0; i<l.
size(); i++)
59 for (
int i=0; i<bs.
size(); i++)
81 if ((n*d != s.
size()) || (m*d != l.
size()) || (d != c.
size()))
83 for (
int i=0; i<s.
size(); i++)
85 for (
int i=0; i<c.
size(); i++)
94 for (
int k=0; k<d; k++)
95 for (
int j=0; j<m; j++) {
104 for (
int k=0; k<d; k++) {
106 for (
int j=0; j<m; j++)
110 for (
int i=0; i<n; i++)
126 for (
int i=0; i<n-1; i++) {
127 for (
int j=i+1; j<n; j++) {
131 while (ii() && jj()) {
132 if (ii.val() < jj.
val()) {
134 }
else if (ii.val() > jj.
val()) {
138 for (
int k=0; k<d; k++)
139 if (s[i*d+k] + s[j*d+k] > c[k]) {
int size(void) const
Return size of array (number of elements)
FloatNum size(void) const
Return size of float value (distance between maximum and minimum)
Home class for posting propagators
void fail(void)
Mark space as failed.
bool failed(void) const
Check whether corresponding space is failed.
Passing integer arguments.
static const IntSet empty
Empty set.
Passing integer variables.
Value iterator for integer variables.
Exception: Arguments contain same variable multiply
Exception: Arguments are of different size
Graph containing conflict information.
ExecStatus post(void)
Post additional constraints.
void edge(int i, int j, bool add=true)
Add or remove an edge between nodes i and j (i must be less than j)
IntSet maxclique(void) const
Return maximal clique found.
Item combining bin and size information.
static ExecStatus post(Home home, ViewArray< OffsetView > &l, ViewArray< Item > &bs)
Post propagator for loads l and items bs.
Integer view for integer variables.
int val(void) const
Return current value.
Class to set group information when a post function is executed.
int size(void) const
Return size of array (number of elements)
#define GECODE_POST
Check for failure in a constraint post function.
#define GECODE_ES_FAIL(es)
Check whether execution status es is failed, and fail space home.
bool me_failed(ModEvent me)
Check whether modification event me is failed.
void binpacking(Home home, const IntVarArgs &l, const IntVarArgs &b, const IntArgs &s, IntPropLevel ipl=IPL_DEF)
Post propagator for bin packing.
IntPropLevel
Propagation levels for integer propagators.
void nonnegative(int n, const char *l)
Check whether n is in range and nonnegative, otherwise throw out of limits with information l.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType r
bool same(VarArgArray< Var > x, VarArgArray< Var > y)
@ ES_FAILED
Execution has resulted in failure.